u-boot/arch/powerpc/cpu/mpc5xx/Kconfig