patches: Obsolete

We now have a different fix, see commit
827e711eb74135f075f02f5c44685e4e35c1a8b1