Двойная загрузка: Grub работает, но меню не отображается

Summary: Меню Grub не отображается, но оно работает, поскольку я могу получить доступ к его опциям с помощью клавиш со стрелками и ENTER.

У меня Dell Inspiron 5420 с двойной загрузкой, Win10 + Ubuntu. Windows была предварительно установлена, и я только что установил Ubuntu 20.04 (с UEFI + Secure Boot Off). Установка прошла успешно.

При загрузке компьютера в течение 10 секунд отображается экран с логотипом Dell (таймаут grub), а затем загружается ОС по умолчанию (сейчас это Windows, но я переходил на Ubuntu и обратно, чтобы убедиться, что Grub обновляется). Ubuntu стоит первой в порядке загрузки UEFI.

Если я использую клавиши со стрелками для выбора другой ОС перед 10-ю, загружается другая ОС.

Самое странное, что если я нажимаю F12 во время загрузки (клавиша dell для дополнительных опций) и выбираю "Ubuntu", меню Grub отображается отлично, и работает тоже отлично.

Я изменил следующие параметры в Grub-Customizer:

• Изменить продолжительность тайм-аута (10s, 15s, -1)
• Изменить стиль тайм-аута на "меню"
• Изменить ОС по умолчанию
• Изменить разрешение по умолчанию (640x480, 1024x768 и 1366x768)

Все изменения были применены (подтверждены нажатием F12, как объяснялось выше), но ни одно не заставило меню Grub отображаться по умолчанию.

Я не пробовал boot-repair, так как он однажды испортил мою загрузку. Обновление: boot-repair тоже не сработал. Grub работает, но не отображается.

Содержание моего файла /etc/default/grub:

# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
#   info -f grub -n 'Simple configuration'

GRUB_DEFAULT="Windows Boot Manager (on /dev/sda1)"
GRUB_TIMEOUT_STYLE="menu"
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR="`lsb_release -i -s 2> /dev/null || echo Debian`"
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"

# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL="console"

# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
GRUB_GFXMODE="1024x768"

# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID="true"

# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_RECOVERY="true"

# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"

GRUB_SAVEDEFAULT="false"
export GRUB_COLOR_NORMAL="light-gray/black"
export GRUB_COLOR_HIGHLIGHT="magenta/black"

GRUB_GFXMODE=""
#GRUB_THEME="/boot/grub/themes/grub2-theme-breeze-5/theme.txt"
#GRUB_DISABLE_OS_PROBER="true"

Любые предложения будут оценены по достоинству!