x86_64: SMP works
x86_64: parse ACPI for IOAPICs and use them