Re: [SeaBIOS] [PATCH 10/18] virtio: add version 1.0 support to vp_get_isr