Re: grub menu takes very long to appear

[Nima Azarbayjany]

By the way and for the record, this bug report is an exact instance of the
problem I had and the proposed workaround fixed the delayed boot process
for me too: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=950175.