Only use _mm_stream_si64 in GCC >= 4.8.