[gnome-extra/cinnamon] add missing patch