6a9390c50e
For the Rocket pipeline, this fix is needless and the problem is that the assertion is too conservative, but I solved it this way to avoid problems for other plausible use cases where physical and virtual accesses are intermixed.