[OpenBIOS] [PATCH 4/8] Correctly create "reg" property for PCI devices