> PS/2キーボードのシリアル通信なんて〜10kbpsとかそんなもんだから、

Wkipedia みたら

https://en.wikipedia.org/wiki/PS/2_port
> Serial data at 10 to 16 kHz

とあったんで訂正しておく。何れにしろ負荷としては大したもんではない。