I183 user space memory management

[gypsephi]

Implemented user memory management as mentioned in #183. The user memory ranges are provided to init app via info frame. The test just prints the provided memory ranges. In order to keep the memory requirement for the example init app low, the memory size for qemu and ihk have not been increased. (you need to increase those manually in order to get some test output) Mapping and using the provided memory is neither implemented yet nor tested.

No warnings. This is tested with qemu and IHK.