diff --git a/src/system/boot/platform/bios_ia32/devices.cpp b/src/system/boot/platform/bios_ia32/devices.cpp
index 8c62527a0b..c0b6bb087b 100644
--- a/src/system/boot/platform/bios_ia32/devices.cpp
+++ b/src/system/boot/platform/bios_ia32/devices.cpp
@@ -172,9 +172,7 @@ check_cd_boot(void)
 	// we obviously were booted from CD!
 
 	specification_packet *packet = (specification_packet *)kDataSegmentScratch;
-
-	if (packet->media_type != 0)
-		gKernelArgs.boot_disk.cd = false;
+	gKernelArgs.boot_disk.cd = packet->media_type != 0;
 
 #if 0
 	dprintf("got CD boot spec:\n");