I found that it works if you open /etc/default/grub and edit the line that says:

GRUB_CMDLINE_LINUX_DEFAULT = "quiet splash"

to say:

GRUB_CMDLINE_LINUX_DEFAULT = "quiet"

I am running 9.10...