Re: grub menu takes very long to appear

[Nima Azarbayjany <nimaza@gmail.com>]

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.