diff --git a/Kernel/platform/platform-cpc6128/config.h b/Kernel/platform/platform-cpc6128/config.h
index 981e0d9de2..85a8d69511 100644
--- a/Kernel/platform/platform-cpc6128/config.h
+++ b/Kernel/platform/platform-cpc6128/config.h
@@ -90,7 +90,7 @@
 /* #undef CONFIG_TD_SD_EMUBUG */
 /*#undef SD_SPI_CALLTYPE	__z88dk_fastcall */
 
-#define BOOTDEVICENAMES "hd#,fd#"
+#define BOOTDEVICENAMES "hd#,fd"
 
 #define CONFIG_SMALL