nospec: Kill array_index_nospec_mask_check()