should do the trick.

Maybe even running Startup Repair from the Windows 7 installation DVD suffices.

Kees