ram_addr: tweaks to xen_modified_memory