Boot Loader Menu documentation does not support 32-bit UEFI
https://tails.boum.org/doc/first_steps/startup_options/#boot_menu assumes syslinux, which is correct on all platforms but 64-bit computers with a 32-bit UEFI firmware (that we started supporting a couple years ago; e.g. cheap netbooks, tablets and so on) where the user will instead see a GRUB menu. FTR, there one needs to press “e” instead of TAB, edit the correct line and finally press F10 or CTRL+x to boot.
FTR, I’ve just learned that some Thinkpad X200 + Libreboot also end up in the 32-bit GRUB UEFI bootloader menu.
I’ll let you judge whether better supporting this (probably tiny) part of our user base is worth making this doc more complicated to follow for everybody else.
Related issues
Original created by @intrigeri on 16229 (Redmine)