uboot/board/freescale/mx51evk/Kconfig