[coreboot-gerrit] Patch merged into coreboot/master: google/poppy: select NO_FADT_8042

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit b07d266042621e050962bb9ce814f1106d0a8bcf
Author: Jenny TC <jenny.tc at intel.com>
Date:   Thu Feb 9 16:16:20 2017 +0530

    google/poppy: select NO_FADT_8042
    
    Poppy doesn't support 8042 keyboard. Select
    NO_FADT_8042 to disable 8042 in FADT header.
    Kernel will not try to access 8042 region
    if 8042.FADT=0
    
    BUG=chrome-os-partner:61858
    TEST=Boot OS and verify FADT 8042 flag
    
    Change-Id: I00182eb4b059d4d9f0705d349dc98651e3955f0d
    Signed-off-by: Jenny TC <jenny.tc at intel.com>
    Reviewed-on: https://review.coreboot.org/18311
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Furquan Shaikh <furquan at google.com>


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

-gerrit