Comment # 6 on bug 1202385 from Martin Li������ka

(In reply to Michal Suchanek from comment #4)
> The question is how do we pull in the vdso debuginfo?

In my case it's loaded by gdb via debuginfod:

$ gdb `which make`
...
Downloading 0.02 MB separate debug info for system-supplied DSO at
0x7ffff7fc1000                                                                 
                                                                               
                                            ...

> 
> Also ideally both the .so and the .so.debug would be in the same package but
> I don't know if rpm even supports that.

They are automatically separated to a foobar-debug{info,source} packages.