kernel 3.10.18 config update (for x230)