x86, ACPI: add support for x2apic ACPI extensions