Fix boot when CONFIG_CDROM_BOOT is disabled.
diff --git a/src/boot.c b/src/boot.c
index 4815543..48ad06a 100644
--- a/src/boot.c
+++ b/src/boot.c
@@ -143,7 +143,7 @@
     case IPL_TYPE_CDROM: {
         /* CD-ROM */
         if (! CONFIG_CDROM_BOOT)
-            break;
+            return;
         int status = cdrom_boot();
         if (status) {
             printf("CDROM boot failure code : %04x\n", status);