Fixes an error when targetting kernel 3.12.8