[OpenBIOS] [PATCH 1/6] pci.c: add generation of pci node available property