ptw: Kill pending dcache request when flushed #2
Created by: niwis
Instead of waiting for the dcache request to complete and then to discard the result, kill it and directly return to the IDLE
state.
This prevents pollution of the data cache and makes the ptw (and dcache) faster ready for new requests.