Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision f2ef7fd587b7ec8f9d3293862101dfa7dbf2ecf6)
+++ kernel/arch/amd64/src/amd64.c	(revision 8fe5980e42d82b7d2d7e089fc06a6048def9ee08)
@@ -211,4 +211,5 @@
 	i8042_grab();
 }
+
 /** Return console to userspace
  *