Yes. I'm actually looking at upgrading my server to a 64bit kernel just so i can take advantage of this. I've been on them so long i'm still a 32bit userland.