That is pretty strange! GRUB should automatically boot that same entry.
Anyway, I would at least edit GRUB's configuration to not have to press F10
whenever you boot the computer (it must be pretty annoying).
To edit /etc/default/grub (here with Trisquel's default text editor, 'gedit';
Trisquel Mini has 'leafpad'), you need administrative privileges:
$ gksu gedit /etc/default/grub
https://www.gnu.org/software/grub/manual/html_node/Simple-configuration.html#Simple-configuration
describes the variables you can add/modify. To wait indefinitely on GRUB's
menu, remove the definition of GRUB_HIDDEN_TIMEOUT (if there is any) and
have:
GRUB_TIMEOUT=-1
Notice the absence of spaces around "=". Save and quit the text editor.
Finally execute the following command for the change to be effective:
$ sudo update-grub
