Use our own dvbdev.h
it did not change from kernel version 3.7.x
so it is safe to use