note that hypercall discussion needs to be updated
change discussion of memory remapping to not assume userspace platform