If I thought there was ANY ####ING POINT in explaining to you why /proc/cpuinfo says 500MHz, I would do it.
But as there's no way in hell you're gonna believe me anyway I suggest you read the source code and remember these two hints:
The OF is hardcoded to say 500MHz.
Linux loades in the OF device tree on boot.
