* read_mem and write_mem work now, too
* changed a few things, e.g., handing out DMA address now, instead of id
* works with platform-stress-alloc test (mode 1)
* default implementation should now be working