uboot/board/gumstix/duovero/Kconfig