[fix] make_memory_map should receive flash_size as uint32_t