CONFIG_VIDEO_ALLEGRO_DVT=m
