kernel 3.12 config