Update intrin.h