paddr_t alloc_ram (paddr_t addr, paddr_t size, paddr_t align)
Allocate memory from the free memory pool initialized by the call to init_raminfo(). The RAM is not cleared.