[coreboot] IOAPIC Initialisation - How much do you have to do ??