[coreboot-gerrit] New patch to review for coreboot: google/poppy: select NO_FADT_8042

[Jenny Tc (jenny.tc@intel.com)]

Jenny Tc (jenny.tc at intel.com) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/18311

-gerrit

commit 424b556c9001276f503f1ff132ae0e71f409bc1d
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>
---
 src/mainboard/google/poppy/Kconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mainboard/google/poppy/Kconfig b/src/mainboard/google/poppy/Kconfig
index 742eb64..db0ebb1 100644
--- a/src/mainboard/google/poppy/Kconfig
+++ b/src/mainboard/google/poppy/Kconfig
@@ -11,6 +11,7 @@ config BOARD_SPECIFIC_OPTIONS
 	select MAINBOARD_HAS_CHROMEOS
 	select MAINBOARD_USES_FSP2_0
 	select SOC_INTEL_SKYLAKE
+	select NO_FADT_8042
 
 config CHROMEOS
 	select EC_GOOGLE_CHROMEEC_SWITCHES