TiVo’s new owner isn’t that interested in making set-top boxes