acrn-kernel/arch/powerpc/boot/libfdt_env.h