diff --git a/target/linux/ppc40x/config-3.3 b/target/linux/ppc40x/config-3.3
index f0720cb26..890370ecb 100644
--- a/target/linux/ppc40x/config-3.3
+++ b/target/linux/ppc40x/config-3.3
@@ -206,8 +206,8 @@ CONFIG_USB_COMMON=m
 CONFIG_USB_OHCI_BIG_ENDIAN_DESC=y
 CONFIG_USB_OHCI_BIG_ENDIAN_MMIO=y
 CONFIG_USB_OHCI_HCD=m
-# CONFIG_USB_OHCI_HCD_PLATFORM is not set
 CONFIG_USB_OHCI_HCD_PCI=y
+# CONFIG_USB_OHCI_HCD_PLATFORM is not set
 CONFIG_USB_OHCI_HCD_PPC_OF=y
 CONFIG_USB_OHCI_HCD_PPC_OF_BE=y
 CONFIG_USB_SUPPORT=y
diff --git a/target/linux/x86/config-3.6 b/target/linux/x86/config-3.6
index 5880d9b77..3833049be 100644
--- a/target/linux/x86/config-3.6
+++ b/target/linux/x86/config-3.6
@@ -69,8 +69,8 @@ CONFIG_CRC16=y
 # CONFIG_DCDBAS is not set
 # CONFIG_DEBUG_BOOT_PARAMS is not set
 CONFIG_DEBUG_MEMORY_INIT=y
-# CONFIG_DEBUG_TLBFLUSH is not set
 # CONFIG_DEBUG_NMI_SELFTEST is not set
+# CONFIG_DEBUG_TLBFLUSH is not set
 # CONFIG_DEBUG_VIRTUAL is not set
 CONFIG_DECOMPRESS_BZIP2=y
 CONFIG_DECOMPRESS_GZIP=y
diff --git a/target/linux/x86/config-3.7 b/target/linux/x86/config-3.7
index 68ab9fb96..54e7e8ec4 100644
--- a/target/linux/x86/config-3.7
+++ b/target/linux/x86/config-3.7
@@ -70,8 +70,8 @@ CONFIG_CRC16=y
 # CONFIG_DCDBAS is not set
 # CONFIG_DEBUG_BOOT_PARAMS is not set
 CONFIG_DEBUG_MEMORY_INIT=y
-# CONFIG_DEBUG_TLBFLUSH is not set
 # CONFIG_DEBUG_NMI_SELFTEST is not set
+# CONFIG_DEBUG_TLBFLUSH is not set
 # CONFIG_DEBUG_VIRTUAL is not set
 CONFIG_DECOMPRESS_BZIP2=y
 CONFIG_DECOMPRESS_GZIP=y