[LinuxBIOS] Which BIOS savior for Tyan S2895?