dvb_psi: fix build error for \!DVB config