uboot-tools-armhf: removed; superseded by uboot-mkimage.