Beginning i686 paging code