hotplug dvb.h include fix