Re: [PATCH 11/14] board: synquacer: developerbox: Don't set gd->env_addr to default_environment