Cinamom 4.0 можно установить, например через PPA-репризиторий, проблем возникнуть не должно, это изменит дизайн и прибавит эргономики интерфейсу, так же оптимизирован файловый менеджер, что может обеспечить быстродействие, но стоит отметить, что Cinnamon основывается на компонентах GNOME, а значит, что проблемы все равно могут присутствовать, тут много зависит от системы.