set the right uboot-machine