u-boot-brain/board/gdsys/gdppc440etx/config.mk