Cannot bring up a TTY console in SDDM

I use SDDM on several installations, and in all of them Crtl-Alt-FX (X=2…6) brings a TTY.

But I know that some machines mess with the keyboard such that you need Ctrl with the Fn keys when other machines don’t. If that’s the case, then some BIOS/Firmware setting for the keyboard might help.