add_avail
void add_avail(uint64_t start, uint64_t end, uint64_t type);
add_avail(4ull << 30, 36ull << 30, system_ram);
add_avail(start, end, system_ram);
add_avail(start, end, firmware_reserved);