Are you seeing with a specific keyboard type(s), or is this a general 
problem? 
Could you confirm whether it is specific either 
to PS2 or USB keyboards only, or it does happen for both?

I'm only seeing it with a USB keyboard, haven't seen it with PS/2
(but I rarely do console switches with PS/2, so might have missed it)

The USB keyboard is a rather ordinary logitech keyboard.

-Andi

-- 
ak@linux.intel.com -- Speaking for myself only.