I tried the apt method, but I didn't find 5.0 kernels there. Perhaps because Linux Mint 18.3 is based on ubuntu 16.04. And newer kernels are not supported. I could try the tool called UKUU for changing kernels, but I am not sure is it wise to use newer kernels not supported by my distro ? Perhaps I just keep using 14.5.-0.50 kernel when ever I need HDMI-audio.
I tried the apt method, but I didn't find 5.0 kernels there. Perhaps because Linux Mint 18.3 is based on ubuntu 16.04. And newer kernels are not supported. I could try the tool called UKUU for changing kernels, but I am not sure is it wise to use newer kernels not supported by my distro ? Perhaps I just keep using 14.5.-0.50 kernel when ever I need HDMI-audio.