Tesla CTO talks Model S, batteries and in-car Linux