[OpenBIOS] [PATCH] fix regprop int encoding