Some issues when running cinnamon desktop with F32