reverted back to 64 bit DMA because 128 bit wasn't working. Also made PageCache a bit more flexible type-wise