config renamed to tpx200_kernel_config, thinkpad x200 kernel config
pc_home_kernel_config: kernel configuration file for my pc at home