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)
diff --git a/payloads/external/SeaBIOS/Makefile.inc b/payloads/external/SeaBIOS/Makefile.inc
index d856f37..5e1df47 100644
--- a/payloads/external/SeaBIOS/Makefile.inc
+++ b/payloads/external/SeaBIOS/Makefile.inc
@@ -1,7 +1,7 @@
 
 
 TAG-$(CONFIG_SEABIOS_MASTER)=origin/master
-TAG-$(CONFIG_SEABIOS_STABLE)=385a7d0dec28841a05531cba96c62138c3959fef
+TAG-$(CONFIG_SEABIOS_STABLE)=51755c3b5ed9dcdfdef8cee56631d68642bde416
 
 unexport KCONFIG_AUTOCONFIG
 
diff --git a/src/Kconfig b/src/Kconfig
index e0062dd..9630e0c 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -508,7 +508,7 @@
 	depends on PAYLOAD_SEABIOS
 
 config SEABIOS_STABLE
-	bool "stable"
+	bool "1.7.1"
 	help
 	  Stable SeaBIOS version
 config SEABIOS_MASTER