Hi,

the IPMI card that I currently fight with offers a redirected virtual serial
port as ttyS2. The natural serial console=ttyS2,115200n8 does give me the
console on ttyS2, but doesn't start a getty on that device, which leaves me with
a useless console.

Please consider generating the appropriate getty config that fits the
console=ttys number.

Greetings
Marc