Hi,Here are a number of patches that fix a x86 TLB invalidation issue reported byJann and some related things that came up while sorting this out.Please consider.