xen/setup: Fix for incorrect xen_extra_mem_start initialization under 32-bit