[f16ref] Fix half moved uboot f16ref sources