x86inc: set the correct amount of simd regs in x86_64 when avx512 is enabled but...