[OpenBIOS] [PATCH 3/3] forth: Fix MMU available pretty-printing for sparc64