[OpenBIOS] [PATCH v4 4/5] Pretty-print /memory available property