Re: Lenovo T500, kernels, and NetworkManager