mremap: avoid sending one IPI per page