Avviso: l'impostazione di GRUB_TIMEOUT su un valore diverso da zero quando GRUB_HIDDEN_TIMEOUT è impostato non è più supportata

Ho notato che da qualche tempo, durante l'aggiornamento di grub appare il seguente messaggio di avviso:

Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.

cat /etc/default/grub

elenca le seguenti opzioni:

GRUB_DEFAULT=0
GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash nomdmonddf nomdmonisw fsck.mode=force"
GRUB_CMDLINE_LINUX=""

Supponendo quanto segue:

• Non uso il menu di grub.

• Voglio che il processo di avvio non venga rallentato da un certo timeout di grub.

Quali sono le opzioni valide per me?

Rimozione della linea:

GRUB_TIMEOUT=10

o qualcos'altro?

Sistema operativo: Linux Mint 18.2 Cinnamon 64-bit.

Ho provato diverse combinazioni e il risultato è che per il file:

/etc/default/grub

nel mio caso, quando non voglio che appaia il menu di grub, rimuovendo la seguente riga, funziona:

GRUB_HIDDEN_TIMEOUT=0

durante l'impostazione:

GRUB_TIMEOUT=0

Successivamente, non dimenticare di correre:

sudo update-grub

L'avviso non viene più visualizzato.