For one, you should be using v1.3 of the Special Kernel now. All others have been superceded by this. Secondly it looks like the kernel wasn\'t updated to me. I have seen someone else post benchmarks with a PXA255 using v1.3 of the Special kernel and they got higher results.
You\'re not going to get much better results anyway, since the PXA255 doesn\'t have the same bugs that the PXA250 has at least with regards to the cache.