ARM intrinsic: add prefetch