Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 84afc7bf42bf4b5e22750a7f377f4bfc31636630)
+++ kernel/arch/amd64/src/amd64.c	(revision 149d14e522aa5c449b696ad4420f3caa33ca9b8e)
@@ -282,4 +282,11 @@
 }
 
+void arch_reboot(void)
+{
+#ifdef CONFIG_PC_KBD
+	i8042_cpu_reset((i8042_t *) I8042_BASE);
+#endif
+}
+
 /** @}
  */