XXX: Remove softfloat patch.