Manpages of u-boot-tools in Debian unstable