Index: kernel/arch/ia32/src/drivers/i8254.c
===================================================================
--- kernel/arch/ia32/src/drivers/i8254.c	(revision 3daba42eca17fefb7371eb495dcaf63d5a95ed9e)
+++ kernel/arch/ia32/src/drivers/i8254.c	(revision 8aea932685c5efe502aa73a5118f0e8c4eb3e36c)
@@ -143,7 +143,11 @@
 	o2 |= pio_read_8(CLK_PORT1) << 8;
 
+	uint32_t delta = (t1 - t2) - (o1 - o2);
+	if (!delta)
+		delta = 1;
+
 	CPU->delay_loop_const =
-	    ((MAGIC_NUMBER * LOOPS) / 1000) / ((t1 - t2) - (o1 - o2)) +
-	    (((MAGIC_NUMBER * LOOPS) / 1000) % ((t1 - t2) - (o1 - o2)) ? 1 : 0);
+	    ((MAGIC_NUMBER * LOOPS) / 1000) / delta +
+	    (((MAGIC_NUMBER * LOOPS) / 1000) % delta ? 1 : 0);
 
 	uint64_t clk1 = get_cycle();