Yes, that is the correct tool.
The Radeon HD 4200 does not officially support Windows 10. This means that there won't be any updates, and that the current drivers that are used by Windows 10 use an older driver model (WDDM 1.2) from Windows 8.0.
http://support.amd.com/en-us/kb-articles/Pages/Driver-Support-for-AMD-Radeon%E2%84%A2-...er-Series.aspx
I would personally recommend staying with Windows 7. That will be getting security updates until 2020. You will probably have upgraded your current hardware before that date.