[LinuxBIOS] tyan s2895 build question