x86: clean up the page table dumper and add 32-bit support