Paging_Table for a 32bit system with 4KB page size