Patch merged into coreboot/master: intel/skylake: Disable FADT.8042 if NO_FADT_8042 is set

the following patch was just integrated into master:
commit 2864f85725e517ece5d5ce985c51b4561f81dab6
Author: Jenny TC 
Date:   Thu Feb 9 16:01:59 2017 +0530

intel/skylake: Disable FADT.8042 if NO_FADT_8042 is set

Kernel relies on FADT 8042 flag to enable/disable
    8042 interface. If FADT reports 8042 capability and
    8042 (/PS2) capability is actually disabled by coreboot,
    kernel would assume the presence of 8042 based on the
    FADT flag. This results in undesired system power off when
    kernel tries to access the 8042 memory region. To address
    this, CONFIG_NO_FADT_8042 was added to selectively
    disable 8042 on FADT.

BUG=chrome-os-partner:61858
    TEST=Boot OS and verify FADT 8042 flag

Change-Id: Ic80b3835cb5cccdde1203e24a58e28746b0196fc
    Signed-off-by: Jenny TC 
    Reviewed-on: https://review.coreboot.org/18307
    Tested-by: build bot (Jenkins)
    Reviewed-by: Furquan Shaikh

See https://review.coreboot.org/18307 for details.

-gerrit