Change the only user of vdsk_read() to vdsk_readv(). This simplifies
the interface at virtually no cost.
Remove the unused vdsk_read().