[coreboot] Patch set updated for coreboot: 0ca02ce Don't write automatic IRQ entries for disabled devices