patch.sh: sort the patch files, so that we have a reliable order for the backport patches