vgetq_lane_u32
rk32 = vdupq_n_u32(vgetq_lane_u32(rk32, 3));
rk32 ^= vsetq_lane_u32(vgetq_lane_u32(prkhi32, 2),
vdupq_n_u32(vgetq_lane_u32(prkhi32, 0)),
rk32 ^= vsetq_lane_u32(vgetq_lane_u32(prk32, 2),
vdupq_n_u32(vgetq_lane_u32(prk32, 3)),
vgetq_lane_u32(vreinterpretq_u32_u8(rk),
vgetq_lane_u32(vreinterpretq_u32_u8(rk),