x86/xen: update cpuid.h from Xen-4.7