kernel 3.8.0-rc7 config