performances: simplify the rohc_f_32bits() function.
performances: simplify the rohc_f_32bits() function.

didier-barvaux/rohc,didier-barvaux/rohc,didier-barvaux/rohc,didier-barvaux/rohc,didier-barvaux/rohc