no need to manually edit the file – can use the config editor from within the retropie menu – https://github.com/retropie/RetroPie-Setup/wiki/Configuration-Editor
choose “change common retroarch options” and then all/retroarch.cfg and you should see video_smooth in the list.