Index: arch/amd64/src/amd64.c
===================================================================
--- arch/amd64/src/amd64.c	(revision 7453929d2544639ed584538be3d0bcaa203a825c)
+++ arch/amd64/src/amd64.c	(revision 607c5f9ed835a2f0301c7d609f3e38c0d5e4dc77)
@@ -103,4 +103,5 @@
 void arch_post_smp_init(void)
 {
+        trap_virtual_enable_irqs(1<<IRQ_KBD);
 }