As the post in osxdaily says, open a terminal and type uname -a
I did it, and i found out that my MBP is running a 32 bit kernel. (!)
I thought that this type of machine should be using a 64 bit kernel.
I'll try to boot into 64 bit mode holding '6' and '4' during boot, but how can I make this mode the default?