New dual-boot TV boxes run Android + Ubuntu or Windows