u-boot/board/actux4/config.mk