Lenovo T500, kernels, and NetworkManager