[coreboot-gerrit] Patch set updated for coreboot: intel/skylake: Disable FADT.8042 if NO_FADT_8042 is set