Well reproducible by me on the first computer too, so it is not a grub issue but how explained at #2 happens not every boot.
Well reproducible by me on the first computer too, so it is not a grub issue but how explained at #2 happens not every boot.