diff --git a/src/keyboard_at.c b/src/keyboard_at.c
index 4e1bc3743..662f20373 100644
--- a/src/keyboard_at.c
+++ b/src/keyboard_at.c
@@ -1041,7 +1041,7 @@ write_output(atkbd_t *dev, uint8_t val)
 			   SeaBIOS gets caught in a soft reset loop as it tries to hard reset the
 			   machine. Hack around this by making the KBC reset a hard reset only on
 			   coreboot machines. */
-			pc_reset(1);
+			pc_reset_hard();
 		} else {
 			softresetx86(); /*Pulse reset!*/
 			cpu_set_edx();