Update uboot.tex