[OpenBIOS] [PATCH v6 3/5] Pretty-print reg property