[OpenBIOS] [PATCH 2/5] SPARC32: mark kernel memory as mapped