diff --git a/demos/PPC-SPC563-GCC/main.c b/demos/PPC-SPC563-GCC/main.c
index db05b1283..b846fb405 100644
--- a/demos/PPC-SPC563-GCC/main.c
+++ b/demos/PPC-SPC563-GCC/main.c
@@ -179,6 +179,7 @@ int main(int argc, char **argv) {
       chThdRelease(shelltp);    /* Recovers memory of the previous shell.   */
       shelltp = NULL;           /* Triggers spawning of a new shell.        */
     }
+#if 0
     if (SIU.GPDI[GPIO_BUTTON1].B.PDI) {
       volatile msg_t result;
 #if 0
@@ -190,6 +191,7 @@ int main(int argc, char **argv) {
       result = TestThread(&SD1);
 #endif
     }
+#endif
     chThdSleepMilliseconds(1000);
   }
   return 0;
diff --git a/os/ports/GCC/PPC/chcore.h b/os/ports/GCC/PPC/chcore.h
index 477b51f59..1412bf845 100644
--- a/os/ports/GCC/PPC/chcore.h
+++ b/os/ports/GCC/PPC/chcore.h
@@ -70,7 +70,7 @@
 #elif PPC_VARIANT == PPC_VARIANT_e200z4
 #define CH_CORE_VARIANT_NAME    "e200z4"
 #else
-#error "unknown PowerPC variant specified"
+#error "unknown or unsupported PowerPC variant specified"
 #endif
 
 /**