Re: [OpenBIOS] make unoptimized sparc64 build usable with linux kernel