Thanks. I downloaded your kernel.
Do I just need to mount my .vdi image (i use virtualbox, not vmware), and replace the kernel with yours?
I'm not sure how else to do it.
Cheers,