fdt_memory_remove_reserved
fdt_memory_remove_reserved(memory_start, memory_end);
void fdt_memory_remove_reserved(uint64_t, uint64_t);