@myself: It was a noob thing indeed:
I had linux-headers-3.19.0-031900rc7-generic_3.19.0-031900rc7.201502020035_amd64.deb linux-image-3.19.0-031900rc7-generic_3.19.0-031900rc7.201502020035_amd64.deb and needed the "all.deb" file too: linux-headers-3.19.0-031900rc7_3.19.0-031900rc7.201502020035_all.deb linux-headers-3.19.0-031900rc7-generic_3.19.0-031900rc7.201502020035_amd64.deb linux-image-3.19.0-031900rc7-generic_3.19.0-031900rc7.201502020035_amd64.deb And with these three files the "sudo dpkg -i *deb" went fine. Generic command to get and install the three needed debs (amd64, generic): lynx --dump http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.19-rc7-vivid/ | grep -e all.deb -e "generic.*amd64" | awk '{ print "wget " $2 }' | /bin/sh sudo dpkg -i *deb -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1418286 Title: kernel BUG at /build/buildd/linux-3.18.0/mm/slub.c:3334! To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1418286/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs