Patch set updated for coreboot: Kabylake: Set FADT.8042 flag with CONFIG_DRIVERS_PS2_KEYBOARD

[Jenny Tc]

Jenny Tc ([e-mail]) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/18307

-gerrit

commit 69388635cba5e94598930c63758ec4e567a764bf
Author: Jenny TC 
Date:   Tue Feb 7 14:16:54 2017 +0530

Kabylake: Set FADT.8042 flag with CONFIG_DRIVERS_PS2_KEYBOARD

Kernel relies on FADT 8042 flag to enable/disable
    8042 interface. In coreboot, FADT 8042 flag cane be
    enabled/disabled based on the coreboot config
    CONFIG_DRIVERS_PS2_KEYBOARD

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

Change-Id: Ic80b3835cb5cccdde1203e24a58e28746b0196fc
    Signed-off-by: Jenny TC 
---
 src/soc/intel/skylake/acpi.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/soc/intel/skylake/acpi.c b/src/soc/intel/skylake/acpi.c
index 54468d2..8488f52 100644
--- a/src/soc/intel/skylake/acpi.c
+++ b/src/soc/intel/skylake/acpi.c
@@ -268,7 +268,9 @@ void acpi_fill_fadt(acpi_fadt_t *fadt)
    fadt->day_alrm = 0xd;
    fadt->mon_alrm = 0x00;
    fadt->century = 0x00;
-	fadt->iapc_boot_arch = ACPI_FADT_LEGACY_DEVICES | ACPI_FADT_8042;
+	fadt->iapc_boot_arch = ACPI_FADT_LEGACY_DEVICES;
+	if (IS_ENABLED(CONFIG_DRIVERS_PS2_KEYBOARD))
+		fadt->iapc_boot_arch |= ACPI_FADT_8042;

fadt->flags = ACPI_FADT_WBINVD | ACPI_FADT_C1_SUPPORTED |
    		ACPI_FADT_C2_MP_SUPPORTED | ACPI_FADT_SLEEP_BUTTON |