I was wrong. Twice the keyboard stopped working even though I did not press "Enter" at GRUB menu. So that probably has nothing to do with it.
I was wrong. Twice the keyboard stopped working even though I did not press "Enter" at GRUB menu. So that probably has nothing to do with it.