On a proper computer I have never let myself do a single drive dual boot. I didn't trust any OS to live happily with another. I always used a totally separate drive and picked the drive to boot from at POST.
Well yeah, that was kinda exhausting having that happen every night, then one day I realised I could stop putting a pack of mints on my pizzas and by strange coincidence it hasn't reoccurred since.
That's what he used to have - I can only assume that the minty taste doesn't do it for him anymore and he's moved onto harder herbs. Oregano, basil and dill could all be contenders. Unless he's a ponce and goes in for saffron.