Comment # 32 on bug 1166406 from Miroslav Bene��

Has there been any new development?

tl;dr summary (hopefully correct) is that at least systemtap and
get_kernel_version on arm need vmlinux. As far as systemtap is concerned,
vmlinux could be stored in a different package. Ludwig proposed boolean deps
for that in comment 28.