build/base.install: try to fix beeing stuck in grub menu under Ubuntu