u-boot/board/pxa255_idp/config.mk