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