add kernel 3.9 config