Document how to override default kernel selection in boot menu
Originally created by @hybridwipe on #11129 (Redmine)
I was tinkering with Virtualbox and ran into something similar to https://www.virtualbox.org/ticket/11037 (in this case, it’s the host kernel modules). I wanted to test on a completely 32-bit system, but had trouble finding out how to force a 32-bit kernel in the boot menu.
With a bit of trial and error, I found it. In the boot menu, hit ESC, to get a blank boot line, then TAB TAB to see menu_amd64 / menu_486. Typing in menu_486 will reload the menu, and then booting from there gives a 32-bit kernel.
This should be documented, some users may want to use a 32-bit kernel for some reason. And I’d like to be able to look it up instead of having to figure it out each time I need it :). I think adding it to the FAQ, here: https://tails.boum.org/support/faq/index.en.html#index6h2 (Does Tails work with 64-bit processors?) would be the most appropriate place.
Cheers.