knc.h: add constructor for __vec16_i32