edevdefs.h: fix broken ED_DEVTYPE_MIXER_VIDEO and ED_DEVTYPE_DVE definitions (bug #448)

(cherry picked from commit f7337bdf0d70809e720b4e2671758e0c10c16f60)