We need readX() to be machine vectors since some platforms don't provide
DMA coherence via PIO reads (PCI drivers and the spec imply that this is
a good idea).  Writes are ok though for all existing ia64 platforms (and
hopefully it'll stay that way).