It'll be fine. Literally any food-grade mineral oil is ideal for sharpening on oil stones. I also use it on my diamond hones. My personal preference leans toward the lighter, thinner grades, for the sake of feedback on the stones. But any of these will work fine.
Thicker, more viscous grades of it, like the 'laxative' mineral oil (or 'intestinal lubricant') sold at pharmacies or grocery stores can work too, and it's quite a bit cheaper as well. But all of them are still just mineral oil, with the 'food grade' pedigree meaning it's just that much more clean (no toxins, colorless, odorless, tasteless). So, no worries...