[coreboot] New patch to review for coreboot: 2285d39 coreboot: Add utility to modify PCI register bitwise