Notes about Linux on a Dell Latitude 6430u