Comment # 1 on bug 1170822 from Ismail D�nmez

FWIW I can crash it with kernel-vanilla too, but the dump is from
kernel-default.