diff --git a/src/system/boot/platform/bios_ia32/smp.cpp b/src/system/boot/platform/bios_ia32/smp.cpp
index 4efa29c96f..795abda5b6 100644
--- a/src/system/boot/platform/bios_ia32/smp.cpp
+++ b/src/system/boot/platform/bios_ia32/smp.cpp
@@ -294,6 +294,8 @@ smp_do_acpi_config(void)
 					gKernelArgs.arch_args.ioapic_phys = ioApic->io_apic_address;
 				break;
 			}
+			default:
+				break;
 		}
 
 		apic = (acpi_apic *)((uint8 *)apic + apic->length);