HDR to SDR for non HDR Projector

Help and Support Vero 4K / Vero 4K +
20

I mean 4.9 Kernel image. Dont know what went wrong!

BTW
I was curious testing Kodi 19 but was not able to install it. Followed the howto but after reboot it still says 18.9?!