New patch to review for coreboot: 5e30ef8 mainboard/lenovo/t530/Kconfig: Enable VMX by default

[Edward O'Callaghan]

Edward O'Callaghan ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/7984

-gerrit

commit 5e30ef8fc40d6fba1ebe16c26f3742f03c09597f
Author: Edward O'Callaghan 
Date:   Tue Dec 30 15:30:29 2014 +1100

mainboard/lenovo/t530/Kconfig: Enable VMX by default

Fix a trivial tab/space indent inconsistency while here.

Change-Id: I819d85293e1a070817cd13349a220ba85ba89951
    Signed-off-by: Edward O'Callaghan 
---
 src/mainboard/lenovo/t530/Kconfig | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/mainboard/lenovo/t530/Kconfig b/src/mainboard/lenovo/t530/Kconfig
index 33fcd7d..d3cf1c5 100644
--- a/src/mainboard/lenovo/t530/Kconfig
+++ b/src/mainboard/lenovo/t530/Kconfig
@@ -20,6 +20,7 @@ config BOARD_SPECIFIC_OPTIONS # dummy
    select MAINBOARD_HAS_NATIVE_VGA_INIT_TEXTMODECFG
    select IVYBRIDGE_LVDS
    select MAINBOARD_DO_NATIVE_VGA_INIT # default to native vga init
+	select ENABLE_VMX

# Workaround for EC/KBC IRQ1.
    select SERIRQ_CONTINUOUS_MODE
@@ -49,8 +50,8 @@ config MAX_CPUS
    default 8

config USBDEBUG_HCD_INDEX
-       int
-       default 2
+	int
+	default 2

config DRAM_RESET_GATE_GPIO
    int