[PATCH] disable 8250 serial on s390x

[Dan Horák]

The 8250 serial wins over the native 3215 driver and takes over the console,
see rhbz#1158848 for details.
---
 config-s390x | 1 +
 1 file changed, 1 insertion(+)

diff --git a/config-s390x b/config-s390x
index fd9e28d..a76cad6 100644
--- a/config-s390x
+++ b/config-s390x
@@ -233,6 +233,7 @@ CONFIG_HOTPLUG_PCI_S390=y
 # CONFIG_HID is not set
 # CONFIG_MTD is not set
 
+# CONFIG_SERIAL_8250 is not set
 # CONFIG_PARPORT is not set
 # CONFIG_UWB is not set
 # CONFIG_MMC is not set
-- 
1.9.3