Re: [SeaBIOS] Add support for legacy USB keyboard/mouse (PS/2 emulation for USB?)