Re: TI boards vs. distro boot