sort out integer sizes to allow flexiblity for 32-bit PAE or 64-bit #4

Currently everything is done using uint32_t, while this is fine for 32-bit systems, there is zero flexibility for PAE or 64-bit address spaces. Perhaps better to use vaddr_t, paddr_t, etc. and then typedef according to system...