[coreboot] Patch merged into coreboot/master: 15a2c8f coreinfo: changes to get the USB keyboard working