DMA: allocate aligned memory if requested

Add platform/machine independent <bmk-core/types.h> and use it.

Split PCI and DMA hypercalls into separate files.

PCI (usually) implies DMA, but DMA doesn't imply PCI.