Texas Instruments CC-40 won't boot