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