Oh yeah forgot about that. Well, he's got a 64bit CPU, is gentoo 64 bit? I don't know much about linux.