Update mm.h and mm.c
Update paging.h: u32 -> uint32_t
Update paging.c
Update types.h: u32 -> uint32_t
Update kernel.c: remove memory map printing