diff --git a/target/linux/ppc40x/config-3.3 b/target/linux/ppc40x/config-3.3
index f0720cb267090bf274960fb94de3746169d40c8f..890370ecb978e3173c7d040c76f7600323e7c2dc 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 5880d9b775b5c54a1afc62a7b28f8b70ac49e6d6..3833049be12a2f6c5a0be8d6f6fbbb83a2c1a71c 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 68ab9fb96250ca3c33f9dd03f2b49060f5607902..54e7e8ec48b092a7b6338e7a351a16048b5bc28e 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