Fixes for Tyan s2880