The workaround in Comment #33 also worked for me (and update-grub afterwards - Ivan, did you did it?)
The workaround in Comment #33 also worked for me (and update-grub afterwards - Ivan, did you did it?)