u-boot/configs/MPC8572DS_defconfig