1 files changed, 4 insertions, 1 deletions

diff --git a/arch/powerpc/platforms/40x/ppc40x_simple.c b/arch/powerpc/platforms/40x/ppc40x_simple.c
index f40ac9b8f99f..5fd5a5974001 100644
--- a/arch/powerpc/platforms/40x/ppc40x_simple.c
+++ b/arch/powerpc/platforms/40x/ppc40x_simple.c
@@ -51,7 +51,10 @@ machine_device_initcall(ppc40x_simple, ppc40x_device_probe);
  * board.c file for it rather than adding it to this list.
  */
 static char *board[] __initdata = {
-        "amcc,acadia"
+        "amcc,acadia",
+        "amcc,haleakala",
+        "amcc,kilauea",
+        "amcc,makalu"
 };
 
 static int __init ppc40x_probe(void)