void add_ram(paddr_t start, paddr_t size);
Tell the system that there's RAM available starting at physical address start for size bytes.