Re: [OpenBIOS] [PATCH v4 5/5] Pretty-print MMU available property