In the mean time I found a way to write an app so that the TV can send files to an HTTP Upload service I wrote on my laptop. So I got a few random files as a test (/etc/passwd, some sound effects, config files, etc). But I still can't find that boot video!!