u-boot-brain/board/freescale/mpc8572ds/Kconfig