[Kimchi-devel] RFC: smt support