Index: arch/ppc64/src/ppc64.c
===================================================================
--- arch/ppc64/src/ppc64.c	(revision fb8445570d1fefbb43a7a176047eda449d09879d)
+++ arch/ppc64/src/ppc64.c	(revision 41d33aca6323fda79c1a11fc827a1a73ba58c85f)
@@ -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)
+{
+}