[coreboot] Patch merged into coreboot/master: 04ae610 IOAPIC: fix bitmask