Fork of git git://git.debian.org/d-i/grub-installer.git