Previously, the OS automatically switched from integrated graphics to dedicated ones as soon as VLC is launched since it is using OpenGL. Of course, that's wrong, since VLC runs quite nicely on the integrated ones to draw its single texture, so there is no need to waste battery life on the dedicated card.