Added kernel 3.9 config