Index: arch/ppc64/src/ppc64.c
===================================================================
--- arch/ppc64/src/ppc64.c	(revision 567807b184a647256bf94c834213e98095a61fe2)
+++ arch/ppc64/src/ppc64.c	(revision 01ebbdf9288f435d62434b6709cc0d6785669473)
@@ -34,4 +34,5 @@
 #include <userspace.h>
 #include <proc/uarg.h>
+#include <console/console.h>
 
 bootinfo_t bootinfo;
@@ -90,2 +91,15 @@
 		;
 }
+
+/** Acquire console back for kernel
+ *
+ */
+void arch_grab_console(void)
+{
+}
+/** Return console to userspace
+ *
+ */
+void arch_release_console(void)
+{
+}