xen: modify kernel mappings corresponding to granted pages