port samsung exynos 5

[Waldo Paz Rodriguez]

Hi Genode hackers, I am did several printf to locate the error and it's 
located on this lines

about line 226:	static Rm_root rm_root  (e, e, e, &sliced_heap,
					  core_env()->cap_session(),
	                                  platform()->vm_start(),
					  platform()->vm_size());


about line 80: Platform_generic *Genode::platform() {
                  return platform_specific();
                }


about line 73: Platform *Genode::platform_specific()
                {
	           static Platform _platform;
                    return &_platform;
                 }


best regards waldo