Just an idea. If the virtualbox kmp can be split from virtualbox.spec, then maybe we don't have to worry about the customized provide anymore.