[SOLVED] RPi built in soundcard & HDMI display

[duzeper]

Thanks, that has fixed the audio issue, but I still do not have local hdmi ouput.

I have, 'Peripherals', 'Local Display', 'General settings', 'Display', enabled, but although the display now does not go into power-save, all I see is the boot messages followed by a login prompt.