hal: Make the paging api less architecture dependent

By using ranges, described in a more generic way, than one that has been
optimized for intel, it should become easier to port the api over to
other architectures.

Signed-off-by: Bart Kuivenhoven <bemkuivenhoven@gmail.com>