configs/pool/common-assorted: etc/default/grub: add GRUB_DISABLE_SUBMENU to work around a broken grub generator.