I have a HP Pavilion DV-5 and the same problem too, when I move the volume in the media keys, changes the volume in the Windows Mixer and in VLC. I hope that bug will be fixed soon, and it would be very good if you could activate/ deactivate the media keys of your keyboard as VLC keys, being turned ...