diff --git a/src/drivers/pc80/pc/Kconfig b/src/drivers/pc80/pc/Kconfig
index 06e6568f71..68138575ba 100644
--- a/src/drivers/pc80/pc/Kconfig
+++ b/src/drivers/pc80/pc/Kconfig
@@ -18,9 +18,4 @@ config DRIVERS_PS2_KEYBOARD
 	  this option, then you can say N here to speed up boot time.
 	  Otherwise say Y.
 
-# This option is used in code but never selected.
-config UDELAY_TIMER2
-	bool
-	default n
-
 endif
diff --git a/src/drivers/pc80/pc/i8254.c b/src/drivers/pc80/pc/i8254.c
index 654f84a6d7..5090f0c85b 100644
--- a/src/drivers/pc80/pc/i8254.c
+++ b/src/drivers/pc80/pc/i8254.c
@@ -32,24 +32,6 @@ void setup_i8254(void)
 	outb(0x12, TIMER1_PORT);
 }
 
-#if CONFIG(UDELAY_TIMER2)
-static void load_timer2(unsigned int ticks)
-{
-	/* Set up the timer gate, turn off the speaker */
-	outb((inb(PPC_PORTB) & ~PPCB_SPKR) | PPCB_T2GATE, PPC_PORTB);
-	outb(TIMER2_SEL | WORD_ACCESS | MODE0 | BINARY_COUNT, TIMER_MODE_PORT);
-	outb(ticks & 0xFF, TIMER2_PORT);
-	outb(ticks >> 8, TIMER2_PORT);
-}
-
-void udelay(int usecs)
-{
-	load_timer2((usecs * TICKS_PER_MS) / 1000);
-	while ((inb(PPC_PORTB) & PPCB_T2OUT) == 0)
-		;
-}
-#endif
-
 #define CLOCK_TICK_RATE	1193180U /* Underlying HZ */
 
 /* ------ Calibrate the TSC -------