Enhancements for OperaMobile so it runs better on Plasma Active