fix tf_u-boot.mk