modify dump to support physical memory. still have the cprintf() problem