fix cinnamon target in Debian

There are no packages in jessie for Cinnamon, and no ARM builds for Cinnamon in Debian at all right now.