東芝の高価なTVのOSはFreeBSDと聞いている