[OpenBIOS] [PATCH 04/10] pci: property encoding helpers