Factor virtio device naming into arch-specific code

This will enable non-PCI virtio.

Signed-off-by: Andy Lutomirski <luto@amacapital.net>