Any pointers / observations about running VKERNEL on X86_64 ?
There's no support for vkernel on 64-bit kernels. I've got unfinished work to add support.