linux kernel 3.13.0-rc7 .config