[OpenBIOS] [PATCH v3 5/5] Pretty-print MMU available property