This is kinda hacky, as I had disable the PS/2 initialization so that usb keyboard gets /dev/keyboard0. I should add device hot plugging support for TTY and GUI...