vppinfra: fix clib_array_mask_u32 OOB reads