Semi-random kernel panics on 3.7.1+201212271953