[OpenBIOS] Support for Sparcstation 10