Fixed broken pte bit definitions. I fixed this long ago in pte.h, but