Comment # 10 on bug 906248 from Steffen Winterfeldt

I've tried to enable it but there's no xen-kmp-default. So, no luck.