Fix boot when CONFIG_CDROM_BOOT is disabled.

diff --git a/src/boot.c b/src/boot.c
index 481554349be7b0f9bafe9a738d5893e688bf7084..48ad06a6cc365429ebd8954ea14598771c0af409 100644 (file)
--- a/src/boot.c
+++ b/src/boot.c
@@ -143,7 +143,7 @@ try_boot(u16 seq_nr)
     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);