Kernel/HID: Add support for virtio input devices (+ use them for RISC-V in run.py)

Kernel/HID: Add support for virtio input devices (+ use them for RISC-V in run.py) #515