x86, ia64, acpi: Clean up x86-ism in drivers/acpi/numa.c