Added portability macros for paging (PAGE_SIZE, PAGE_ALIGN(), and PAGE_ALIGN_UP())