No se quin ha sigut el motiu, però portava unes setmanes sense poder triar el sistema operatiu en el menú d’arrancada. Per si us passa el mateix, ací teniu la solució que vaig trobar ajudat per la informació de la “Guía documentada para Ubuntu”
En un terminal:
$ sudo gedit /etc/default/grub
Tenia la línia GRUB_HIDDEN_TIMEOUT=0 sense comentar. La vaig comentar per a que no ocultara el menú:
#GRUB_HIDDEN_TIMEOUT=0
I vaig guardar els canvis. Després, en un terminal:
$ sudo update-grub2
D’aquesta manera ja torna a apareixer el menú quan inicie el sistema.