Ok, I solved the last piece of the puzzle and got my HDMI2 back. Let me explain how I did it...
1. I downloaded Vestel Toolbox v1.1 from this
Link and unzipped it in the desktop. This created a folder with
VESTEL-TOOLBOX.EXE inside, for later use.
2. I formatted a usb-stick as FAT32 and created an empty file (0 bytes size) in the root folder named
DownloadProfile.mb62.
If you don''''t have a 17mb62 mainboard, substitute
.mb62 for the mainboard you have. For example, if you have a 17mb82 mainboard, you need a file named
DownloadProfile.mb82.
3. I connected the usb-stick to the TV, went to Service Mode (Menu key, then 4725 on the remote) and selected USB Operations. Soon as the message asking to wait disappeared, the operation had been completed.
4. I removed the usb-stick, connected it to the PC and did the following in the root folder:
a. Deleted the
DownloadProfile.mb62 file I had previously created.
b. Deleted
mb62_swprofile.bin and
mb62_langprofile.bin files.
c. Created a new folder named
profile and moved
mb62_hwprofile.bin file in that folder.
5. I started the
VESTEL-TOOLBOX.EXE program and opened
mb62_hwprofile.bin file from the
profile folder on the usb-stick.
6. I could now modify the hardware related options (they are read-only in the TV''s Service Mode). Two options were modified:
a. HDMI -> Number of HDMI Connectors - New Value: 2.
b. Source Selection -> Hdmi2 - New Value: True.
7. I saved the modified file and closed the program.
8. I connected the usb-stick back to the TV and went to Service Mode -> USB Operations. Upon completion, Service Mode -> Options 2 had the number of HDMI connectors now set to 2!
Note that your mainboard may require the TV to be turned off and on again for the changes to become active.
... and basically that was it. Needless to say, this way we can change almost every option of the Service Mode!