[PATCH v2 12/16] x86: zboot: Allow setting a separate setup base address