Switch to a different TI kernel tree