Toshiba Boot Menu: Key ((hot))

Without this setting, tapping F12 will do absolutely nothing — leading to user frustration.