Merge pull request #82 from interwq/master

Page table manipulation functions update
captbl: some updates
Merge branch 'ppos' of https://github.com/gparmer/Composite