add_ram()

Synopsis:

void add_ram(paddr_t start, 
             paddr_t size);

Description:

Tell the system that there's RAM available starting at physical address start for size bytes.