That post does not really indicate the guy's MBP was running 64-bit kernel. Even with 32-bit kernel, all the system processes will run as 64-bit.
Inside a terminal, type in "uname -m". If it says "x84_64". K64 is active. If it's "i386", that's the 32-bit kernel.