Re: [coreboot] drivers/generic/ioapic enable_dev not called