[coreboot] Patch set updated for coreboot: 1f33e8f coreinfo: changes to get the USB keyboard working