jimmy: you might have a different problem because the delay that my original bug report is describing happens after grub, not before it.
jimmy: you might have a different problem because the delay that my original bug report is describing happens after grub, not before it.