Pull in the generic mmu_gather changes from the ARM64 tree such that we can put x86 specific things on top as well.