x2APIC (Extended xAPIC) driver
Provides MSR-based access to x2APIC registers instead of MMIO. x2APIC extends the APIC ID to 32 bits and uses MSRs for all register access.