Yes, I am sure. I double-checked the phone was not overclocked and it was proprely updated. The result 10141 was the second one I got after I tweaked browser settings and closed luxus and SIXAXIS.

Cache should be set to 40Mb to speed up the browser...

But yeah, I really got 10141 w/o overclocking and with PR1.2.