mpeg2: fix size calculation from sequence_extension().