dax: does not work correctly with virtual aliasing caches