It seems to be an interaction with plymouth. Setting `GRUB_CMDLINE_LINUX_DEFAULT="quiet"` i.e. removing the `splash` in /etc/default/grub and updating grub $ sudo update-grub works around the problem.
It seems to be an interaction with plymouth. Setting LINUX_DEFAULT= "quiet" ` i.e. removing the `splash` in /etc/default/grub and updating grub
`GRUB_CMDLINE_
$ sudo update-grub
works around the problem.