[CLOSED] Install drivers for DVB Tuner on Vero 4K

See [TESTING] DVB improvements for Vero 4K take 2. Don’t use this if you depend on IR for now.