[Question] TI's u-boot.img is built twice