xen: Speed up set_phys_to_machine() by using read-only mappings