ps2: set ps/2 output buffer size as the same as kernel