[OpenBIOS] [PATCH 0/5] PCI address and property fixes