[PATCH v5 2/4] kernel: add VirtIO device support