Adding "nomodeset" to boot command line (within /etc/default/grub) solves
the boot problem.

Reply via email to