diff --git a/debian/config/kernelarch-powerpc/config-arch-64-be b/debian/config/kernelarch-powerpc/config-arch-64-be
index 41663eb8a..c4f693a81 100644
--- a/debian/config/kernelarch-powerpc/config-arch-64-be
+++ b/debian/config/kernelarch-powerpc/config-arch-64-be
@@ -3,6 +3,11 @@
 ##
 CONFIG_CMDLINE="console=hvsi0 console=hvc0 console=ttyS0,9600 console=tty0"
 
+##
+## file: arch/powerpc/platforms/Kconfig
+##
+CONFIG_IBMEBUS=y
+
 ##
 ## file: arch/powerpc/platforms/cell/Kconfig
 ##
@@ -42,11 +47,6 @@ CONFIG_PS3_FLASH=m
 CONFIG_PS3_VRAM=m
 CONFIG_PS3_LPM=m
 
-##
-## file: arch/powerpc/platforms/pseries/Kconfig
-##
-CONFIG_IBMEBUS=y
-
 ##
 ## file: drivers/char/hw_random/Kconfig
 ##