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

the following patch was just integrated into master:
commit b07d266042621e050962bb9ce814f1106d0a8bcf
Author: Jenny TC 
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 
    Reviewed-on: https://review.coreboot.org/18311
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Furquan Shaikh

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

-gerrit