[coreboot-gerrit] Patch set updated for coreboot: 37b06ea mainboard/lenovo/t530/Kconfig: Enable VMX by default

[Edward O'Callaghan (eocallaghan@alterapraxis.com)]

Edward O'Callaghan (eocallaghan at alterapraxis.com) 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 <eocallaghan at alterapraxis.com>
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 <eocallaghan at alterapraxis.com>
---
 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