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