use %PRODUCTNAME in Windows registry keys of config files

Change-Id: I532a1b059239b51009ea7025fb348dcd865748ff