vppinfra: fix array_mask_u32 underrun