kernel 3.13 configs