Become a MacRumors Supporter for $50/year with no ads, ability to filter front page stories, and private forums.
The 13" MBP uses EFI64 which is the real requirement, so it should work. Maybe your build is out of date?

My build is the latest and ioreg lists my EFI as 64. It just doesn't work, and as the image shows, Apple don't list the 13" as 64-bit capable.
 
True, it's not listed but the hardware in MBP 13" is the same as in 15". My model is 5.5, 5.1 is listed as supported.

BTW, didn't my links work either?
 
No offense but you are doing something wrong. This post clearly shows a 13" MBP running the kernel in 64 bit mode:

https://forums.macrumors.com/posts/8303851/

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.
 
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.

Yes it does. Look at the picture of Activity Monitor. kernel task is running as 64 bit Intel. That's the proof. Activity monitor will on show it as Intel if it's not 64 bit.

On another note:

1.) If you are on the beta seeding program and you have an issue, then fill a bug report.
2.) If you a developer, fill a bug report.
3.) If you have it otherwise, then you don't have it legally.
 
Register on MacRumors! This sidebar will go away, and you'll see fewer ads.