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