Re: [PATCH 3/3] xen/gntdev: Accommodate VMA splitting