From 1d4b8ebda2dce2ced1aa5a72081bc851375cf957 Mon Sep 17 00:00:00 2001
From: Cole Robinson <crobinso@redhat.com>
Date: Nov 25 2015 19:05:38 +0000
Subject: Sync 128k config with what Gerd is using for nightly builds


---

diff --git a/config.seabios-128k b/config.seabios-128k
index e091eb6..155741b 100644
--- a/config.seabios-128k
+++ b/config.seabios-128k
@@ -5,6 +5,6 @@ CONFIG_ROM_SIZE=128
 CONFIG_XEN=n
 CONFIG_USB_XHCI=n
 CONFIG_USB_UAS=n
+CONFIG_USB_OHCI=n
 CONFIG_SDCARD=n
 CONFIG_TCGBIOS=n
-CONFIG_FLASH_FLOPPY=n