Eppure la soluzione al problema sta proprio nella documentazione postata da Polverizzatore!
Proviamo a semplificare la procedura...
Prova ad editare:
/etc/default/grub
Troverai la seguente stringa:
GRUB_CMDLINE_LINUX_DEFAULT="quiet"
Modificala come segue:
GRUB_CMDLINE_LINUX_DEFAULT=“quiet security=tomoyo"
una volta salvata la modifica aggiorna:
update-grub
Reboot.
Spero di essere stato d'aiuto.