Sorry I figured out it.. I had to go and modify the kernals.cfg file to boot the installering using the 64 bit boot options instead of the 32bit.. Now I'm good to go =)