I got the Microsoft support call this week. I played along for a bit then when he couldn't figure out why nothing was working I finally told him I was running Kernel 3.10.17-smp