[coreboot-gerrit] Patch set updated for coreboot: drivers/pc80: Do not initialize PS2 keyboard by default