Wie wechsle ich PCMCIA-Karten während des Betriebs?

Bis eine richtige Lösung gefunden wird, sollte folgender workaroud gewählt werden: Notebook im Textmodus in POS-Modus versetzen, PCMCIA-Karte herausnehmen und/oder einstecken, Notebook aufwecken. Wird eine PCMCIA-Karte (auch nach vorherigem cardctl eject) einfach herausgezogen, ohne dass das Notebook im POS-Modus ist, so wird es dadurch in POS-Modus versetzt, nach dem Aufwecken funktioniert die Tastatur aber nicht mehr.