Replying to myself: I discovered that that screwdriver is a perfect fit for the screw’s in question bit.
I bought a tool-kit 1.5 years ago to replace the stock HDD with SSD. There’s only one screwdriver of Y type: an index on its facet that reads “CR-V Y2.0“. Will it do? I don’t understand the nomenclature.