Print paddr for debugging
Dump CPU state for debugging
Print page table; had to copy lots of code from monitor.c :(