void copy_memory (paddr_t dst, paddr_t src, paddr_t len)
Copy len bytes of memory from physical memory at src to dst.