Various changes to the paging code.

Just a couple of minor changes, mostly related to the paging code.
I added two new functions to the paging interface, for allocating specific
pageframes and for getting a pageframe ID from an address.