Merge branch 'tlb-flushing' into features

Add the TLB flushing changes via a tip branch to ease merging with
the KVM tree.