Eu tambem nao liguei teclado PS2 nas minhas plaquinhas...
Sempre usei terminal burro via SSH, TELNET ou SERIAL
Se for dor de cabeça...poe um TECLADO USB na tua plaquinha...bem provável que seja mais fácil...ai voce nao se preocupa em escolher a GPIO para o SDA e SCL do teclado
Ou poe um PICzinho para decodificar ps/2 e mandar serial...tem bastante seriais no ARM
T+
TCPIPCHIP