[ros-diffs] [gvg] 14385: Xen-specific memory setup for FreeLdr