Fix match_mask32.

This commit fixes the cast of the mask for matching
masked 32 bits fields.