[3.0] mux: avi: fix HDRL length
AVI files recorded by vlc cannot be played in Windows Media Player because the HDRL length is calculated by 4 bytes more.
Signed-off-by: Rémi Denis-Courmont remi@remlab.net (cherry picked from commit 0e1fbc77)
Edited by Felix Paul Kühne