Issue with hdmi audio driver - possibly a bug?

I get following error on boot (from dmesg):

[ons mar 29 14:54:47 2017] nvidia-modeset: Allocated GPU:0 (GPU-ff5cf5b1-d25a-dca9-8fc4-87d95923a4c7) @ PCI:0000:01:00.0
[ons mar 29 14:54:48 2017] snd_hda_codec_hdmi hdaudioC1D0: HDMI: invalid ELD data byte 4
[ons mar 29 14:55:13 2017] usb 1-2.1: reset high-speed USB device number 4 using xhci_hcd

I can confirm that sound via hdmi works, but I don’t like errors on boot time. Does anyone know what it might be and how to fix it?