original_kernel/arch/powerpc/boot/cuboot.h