<sys/platform/x86.h>: Add AVX-IFMA support