Index: kernel/arch/ppc32/include/mm/as.h
===================================================================
--- kernel/arch/ppc32/include/mm/as.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
+++ kernel/arch/ppc32/include/mm/as.h	(revision 57da95c482edb0cea2f17139f72f308e960ddd0f)
@@ -48,4 +48,5 @@
 } as_arch_t;
 
+#define as_deinstall_arch(as)
 #define as_invalidate_translation_cache(as, page, cnt)