vspace: update for 40-bit-PA + hyp

exclude references to PUD methods that do not exist in this
configuration.

libsel4vspace: Correct function type

vspace: add mapping abstraction

This commit provides a mapping object which can be obtained for any
architecture and used to map paging structures based on the number of
bits left to resolve in an address.