fdt_memory_add_range
fdt_memory_add_range(cur_addr, cur_size);
void fdt_memory_add_range(uint64_t, uint64_t);