[coreboot] New patch to review for coreboot: 59107b0 Don't write automatic IRQ entries for disabled devices