make_memory_map should receive flash_size as uint32_t.