Wenn das Problem noch aktuell ist.
Es ist relativ einfach PS/2-Tastaturen so zu splitten. Dann könnte (?) es vielleicht auch mit einem AVR relativ einfach gehen. Habe mir bisher aber nur das PS/2-Tastatur-Protokoll angesehen.
Viel Erfolg!