[coreboot] drivers/generic/ioapic enable_dev not called