config: Kernel 3.8.13 config which works fine with my thinkpad x200