Patch set updated for coreboot: 37b06ea 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 37b06ea9978d0caf14b31d5d064b56a71d66b1a6
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 2103c35..2dcfa90 100644
--- a/src/mainboard/lenovo/t530/Kconfig
+++ b/src/mainboard/lenovo/t530/Kconfig
@@ -21,6 +21,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
@@ -50,8 +51,8 @@ config MAX_CPUS
    default 8

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

config DRAM_RESET_GATE_GPIO
    int