Index: kernel/arch/ppc32/include/boot/boot.h
===================================================================
--- kernel/arch/ppc32/include/boot/boot.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/ppc32/include/boot/boot.h	(revision ba661bce010ad734a46440fd01290bea8981f2e4)
@@ -39,5 +39,5 @@
 
 /* Temporary stack size for boot process */
-#define TEMP_STACK_SIZE 0x100
+#define TEMP_STACK_SIZE 0x1000
 
 #define TASKMAP_MAX_RECORDS 32
Index: kernel/arch/ppc32/include/drivers/cuda.h
===================================================================
--- kernel/arch/ppc32/include/drivers/cuda.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/ppc32/include/drivers/cuda.h	(revision ba661bce010ad734a46440fd01290bea8981f2e4)
@@ -37,4 +37,5 @@
 
 #include <arch/types.h>
+#include <typedefs.h>
 
 extern void cuda_init(devno_t devno, uintptr_t base, size_t size);
Index: kernel/arch/ppc32/include/exception.h
===================================================================
--- kernel/arch/ppc32/include/exception.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/ppc32/include/exception.h	(revision ba661bce010ad734a46440fd01290bea8981f2e4)
@@ -83,4 +83,5 @@
 	istate->pc = retaddr;
 }
+
 /** Return true if exception happened while in userspace */
 #include <panic.h>
@@ -90,4 +91,5 @@
 	return 0;
 }
+
 static inline unative_t istate_get_pc(istate_t *istate)
 {
Index: kernel/arch/ppc32/include/mm/tlb.h
===================================================================
--- kernel/arch/ppc32/include/mm/tlb.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/ppc32/include/mm/tlb.h	(revision ba661bce010ad734a46440fd01290bea8981f2e4)
@@ -37,4 +37,6 @@
 
 #include <arch/interrupt.h>
+#include <arch/types.h>
+#include <typedefs.h>
 
 typedef struct {
Index: kernel/arch/ppc32/src/interrupt.c
===================================================================
--- kernel/arch/ppc32/src/interrupt.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/ppc32/src/interrupt.c	(revision ba661bce010ad734a46440fd01290bea8981f2e4)
@@ -81,5 +81,5 @@
 			 */
 #ifdef CONFIG_DEBUG
-			printf("cpu%d: spurious interrupt (inum=%d)\n", CPU->id, inum);
+			printf("cpu%u: spurious interrupt (inum=%d)\n", CPU->id, inum);
 #endif
 		}
Index: kernel/arch/ppc32/src/mm/page.c
===================================================================
--- kernel/arch/ppc32/src/mm/page.c	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/ppc32/src/mm/page.c	(revision ba661bce010ad734a46440fd01290bea8981f2e4)
@@ -49,5 +49,5 @@
 {
 	if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
-		panic("Unable to map physical memory %p (%d bytes)", physaddr, size)
+		panic("Unable to map physical memory %p (%" PRIs " bytes)", physaddr, size)
 	
 	uintptr_t virtaddr = PA2KA(last_frame);