[coreboot] Patch merged into coreboot/master: 0ca02ce Don't write automatic IRQ entries for disabled devices