Boot TI-NSPIRE Linux with nLaunch