[OpenBIOS] [PATCH 08/13] Remove the existing map_page() function and instead install a transitional API using map_pages() which is almost identical to the OFMEM API.