Comment # 9 on bug 1166406 from Michal Suchanek

There is one last problem:

If vmlinux is needed for debugging only how do we ensure it's installed with
the debuginfo package if we package it separately?

debuginfo packages are created automagically so it's difficult to inject
additional dependencies or files.