original_kernel/arch/powerpc/boot/libfdt_env.h