> Do you know if there is anything to tell this ubuntu-patched kernel > apart from a vanilla version? If so, we could adjust the check in > x86/external-module-compat.h to avoid this breakage. no, not really > Locally, you could > simply comment out the double definition for now. Yes, that will work. Many thanks for the fast help! - Dietmar -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html