gnumach: IOAPIC and LAPIC support

[Damien Zammit]

This patchset provides a way to disable linux/ drivers and build
gnumach with basic IOAPIC interrupts and LAPIC timer support in SMP
mode.

You can still build gnumach the old way with PIC interrupts and single
core, with or without linux/ drivers.

Note that it currently assumes there is only one IOAPIC in the system,
but can be extended to support systems with more.

We still need an ACPI server to provide the mappings for the
PIRQx to APIC pins by parsing it out of the DSDT ACPI table.
As discussed, this should be done via a new pci-arbiter RPC that
requests the IRQ id for a particular device.