[coreboot-gerrit] New patch to review for coreboot: 5e30ef8 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 5e30ef8fc40d6fba1ebe16c26f3742f03c09597f
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 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