x86/xen: Provide a "Xen PV" APIC driver to support >255 VCPUs