I managed to solve this without upgrading the mysql version, by adding an extra where in condition on one of the columns only:
select * from my_table
where (col1, col2) in ( (1000,1), (2000,2) )
and col1 in (1000,2000)
This way, the optimizer will find the index on col1, and will search by it, which did the job for me.