[OpenBIOS] SPARC64 device tree model - SBUS or PCI?