Aviso: Definir GRUB_TIMEOUT como um valor diferente de zero quando GRUB_HIDDEN_TIMEOUT está definido não é mais suportado

Percebi que, desde algum tempo atrás, a seguinte mensagem de aviso aparece ao atualizar o grub:

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

cat /etc/default/grub

lista as seguintes opções:

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=""

Supondo o seguinte:

• Eu não uso o menu grub.

• Eu quero que o processo de inicialização não seja mais lento por algum tempo limite do grub.

Quais são as opções válidas para mim?

Removendo a linha:

GRUB_TIMEOUT=10

ou alguma outra coisa?

SO: Linux Mint 18.2 Cinnamon de 64 bits.

Eu tentei combinações diferentes e o resultado é que, para o arquivo:

/etc/default/grub

no meu caso, quando não quero que o menu grub apareça, remover a seguinte linha funciona:

GRUB_HIDDEN_TIMEOUT=0

durante a configuração:

GRUB_TIMEOUT=0

Depois, não esqueça de executar:

sudo update-grub

O aviso não aparece mais.