There are several changes to the SoC, not just the addition of 64-bit support. They increased clock speed and made other architectural improvements (e.g. better instruction pipelining) resulting in these numbers.