void falcon_init_raminfo(paddr_t falcon_base);
On a system with the Falcon system controller chip located at falcon_base, determine how much/where RAM is installed and call add_ram() with the appropriate parameters.