kernel 3.12 fix