loading guest linux : add memory map description for guest linux

add device memory using the rtsm_ve-motherboard.dtsi