fix u-boot.mk