Firefox OS gets performance boost