Become a MacRumors Supporter for $50/year with no ads, ability to filter front page stories, and private forums.
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?
 
Couldn't you also open Activity Monitor and look at the Kind column for kernel_task? It should say Intel for 32-bit and Intel (64-bit) for 64-bit.
 
In the terminal, type uname -a

If it ends in _x86_64 then you have the 64bit kernel.
 
Register on MacRumors! This sidebar will go away, and you'll see fewer ads.