Re: [PATCH v4] Makefile: use shell to calculate map_size