cinnamon: add a patch to make NetworManager an optional module.