exynos-linux-stable/arch/powerpc/boot/stdio.h