Hi all, this is what I think is a resonable set of patches for the ASID based flushing, largely based on the work from Guo and thus attributed to him.