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