u-boot/configs/prs200_highboot_DDR_defconfig