[coreboot] Patch set updated for coreboot: 427e4f0 ioapic driver: typedef the ioapic_config struct (TRIVIAL)