greatly improved x86 paging info