bmv: fix integer overflows in vlc decoder.