[Bug 662253] xen cpuid setting has no effect on userspace applications