Ax.Pigafetta, the following link belongs to the datasheet for the Mobile 4th Generation Intel® Core™ Processor Family. I was able to find some processors from your list in this document, however there are some that according to ark.intel.com, they support TSX-NI technology but they are not on the datasheet.
I’m going to double check this information in order to find out the correct list of processors that support TSX-NI.
We do not handle information about which companies are using the specific processor you mentioned. You would need to contact them to get that information.
It appears that the ARK website has been updated and now (as of 2013 Nov) shows that e.g. the Intel Core i5-4300U does support TSX-NI.
The i5-4300U is now available for example in the Thinkpad T440 and T440s here:
Thanks for the information Ax.Pigafetta.
This is the official list of mobile processors that support tsx-ni