I was referring to 64bit print drivers. There is no kix64 yet.