On Tue, Jan 17, 2017 at 03:59:33PM +0000, Riku Voipio wrote: > I guess I'll push it to it's own package, since not all u-boot-tools > may want a menu. Done now: https://tracker.debian.org/pkg/u-boot-menu