[OpenBIOS] [PATCH 4/6] Fix up /virtual-memory reg property on SPARC32.