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

[sam_nazarko]

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