[dev][virtio] initial stab at getting a generic virtio layer with block device support
[platform][vexpress-a9] add support for virtio devices