Update: the ubuntu kernel oops is the subject of bug #1465998, https://lists.ubuntu.com/archives/kernel-team/2015-June/058689.html, though it is described there as a panic rather than an oops. It will be patched in the next kernel update.