xen/setup: Fix for incorrect xen_extra_mem_start.