A user is experiencing an error during the boot process of a Windows 10 machine, indicating a missing or damaged file that is essential for starting Windows. Despite trying to perform automatic repair through the Advanced Startup Options menu, the issue persists. To manually repair these files without affecting the user's data or installed programs, which command-line utility should be used from the Recovery Console?
DISM.exe with the /Online /Cleanup-Image /RestoreHealth options
Bootrec with the /RebuildBcd option
CHKDSK with the /f /r options