[coreboot-gerrit] Patch set updated for coreboot: Kabylake: Set FADT.8042 flag with CONFIG_DRIVERS_PS2_KEYBOARD