tools: Sync cpufeatures.h and vmx.h with the kernel