Bug fixes and readability improvements to guest memory handling#103

hlyytine wants to merge 4 commits intoseL4:masterseL4/seL4_projects_libs:masterfrom

tiiuae:upstream/guestmem-fixestiiuae/seL4_projects_libs:upstream/guestmem-fixesCopy head branch name to clipboard