firmware_map_add_hotplug
int firmware_map_add_hotplug(u64 start, u64 end, const char *type);
firmware_map_add_hotplug(start, start + size, "System RAM");