xen_machine_pv: Use cpu_x86_init() to obtain X86CPU