TOLEDA, YOU ARE A GENIUS!!! Finaly got my HDMI AUDIO working FLAWLESS!!!
YOU MADE MY DAY!!! THANK YOU, MUCHAS GRACIAS, DANKESCHÖN!!! :-)
Just mounted the EFI, opened your command file, confirmed 2 times with Y,
typed my password, restarted and there was the Output SAMSUNG - Type HDMI...