Der Kernel scheint einen Fehler zu haben .
Meine Problemumgehung besteht darin, einen Splash während des Bootens von Linux zu deaktivieren. Man muss eine Datei bearbeiten:
sudo emacs -nw /etc/default/grub
Zeile ändern in:
GRUB_CMDLINE_LINUX_DEFAULT=""
Und dann anrufen:
sudo update-grub