It is good to know what I just wrote, as it helps alot. No need to compile your own kernel if you are using debian... just get the proper headers from the archive.

For the record, vmware works just fine with this setup. As does a ton of other things I use.