[Bug 671559] kernel-desktop-debuginfo package does not contain vmlinux