[OpenBIOS] [PATCH 04/13] SPARC64: fix PCI configuration space size