original_kernel/arch/ppc/boot/simple/dummy.c