XXX: some hack, not all needed.
pass what's in the SFI tables
Add basic SFI support.
XXX: PCI workaround.
SFI: IO-APIC support.
SFI: sficpus and more