Revise the Tessel platform info a little