Update SeaBIOS stable to the release-1.7.1 commit

Change-Id: I0dffe89c31e45914f795d9ad8efb787b5fdbb7a8 Signed-off-by: Peter Stuge <peter@stuge.se> Reviewed-on: http://review.coreboot.org/1583 Tested-by: build bot (Jenkins)
2012-10-16 02:25:07 +02:00
parent f450b8619e
commit 9b48ef2733
2 changed files with 2 additions and 2 deletions
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -508,7 +508,7 @@ choice
 	depends on PAYLOAD_SEABIOS

 config SEABIOS_STABLE
-	bool "stable"
+	bool "1.7.1"
 	help
 	  Stable SeaBIOS version
 config SEABIOS_MASTER