Replace HTIF with virtio

* Instantiate virtio-mmio transports.
* Simplify the selection of pending IRQs.
* Use a minimal default target configuration.

Signed-off-by: Albert Ou <aou@eecs.berkeley.edu>
add disable htif option to maintain compatibility with guides