Index: arch/ppc64/src/ppc64.c
===================================================================
--- arch/ppc64/src/ppc64.c	(revision 567807b184a647256bf94c834213e98095a61fe2)
+++ arch/ppc64/src/ppc64.c	(revision 8da51ad331bb44571c3f1d9a00ec0ad51e1e0531)
@@ -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)
+{
+}