Refactored external page_table and section_table symbols into the header file.