Re: [OpenBIOS] [PATCH v5 3/5] Pretty-print reg property