[coreboot] Patch merged into coreboot/master: b52a318 ioapic driver: typedef the ioapic_config struct (TRIVIAL)