Gaming with OSMC and RPi 3b+

No need for dual boot.
You can try the Kodi Build in Gaming Emultators but they are a bit hit and miss. If you want a more broader solution go for retrosmc / retropie