Re: [PATCH] board: developerbox: fix mem_map setup timing