[SeaBIOS] [PATCH] serial console conflicts with serial debugging

[Gerd Hoffmann]

Signed-off-by: Gerd Hoffmann 
---
 src/Kconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Kconfig b/src/Kconfig
index 4870a3e7b7..985594c51b 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -553,6 +553,7 @@ menu "Debugging"
     config DEBUG_SERIAL
         depends on DEBUG_LEVEL != 0
         bool "Serial port debugging"
+        depends on !SERCON
         default n
         help
             Send debugging information to serial port.