> I find myself wondering if there's some setting (about the availability > of ctrl-alt-F1) that has a different default value, and I have to find it > and change it. You didn't say but did you try another TTY? ctrl+alt+F2 through F4 (maybe up to F6?).