VLC causes system failure at shutdown

[avi9526]

Ubuntu 12.04
VLC 2.0.1

When I try to shutdown OS with working VLC my OS won't turn off, and I get some debug information. I can't find any log about this.
Message contain something like:

Unable to handle kernel paging request ...
... vlc tainted ...

Not sure if this really fault of VLC. But really annoying. Any suggestions what to do?

[kmf31]

Do "killall -9 vlc" and maybe even several times (and/or adding some command like "sleep 2") before shutting down your OS. You can add this in a script to be executed before shutdown.

vlc uses a lot of "things" which interfere with kernel drivers (e.g. acces to dvb cards, file acces to mounted internal or external harddisc or similar) and therefore one should close vlc properly and maybe the shutdown scripts do this somewhat too late (they also do "kill" and "kill -9" but much later).

[Rémi Denis-Courmont]

Crashing kernel is a kernel or driver bug. It might be triggered by VLC, but that's not a VLC bug.

[avi9526]

How to find why VLC cause this system failure?

[Rémi Denis-Courmont]

The kernel trace likely points the finger at the faulty driver, though not surely.

Or it could be a memory starvation. There have been a number of crashes due to bugs in Ubuntu Unity and Qt4.