Hello guys, I hope you can help me out with two questions! The first one pertains to the instructions on the Udoo x86 docs to get CEC-HDMI running: it seems like the latest Git master is only running on Kernels > 4.19, which are not available on the "normal" update channel of the latest LTS Ubuntu (18.04). Is this correct? If so, then the docs must be updated since they only talk about Kernel > 4.14. Indeed, when trying to compile with Kernel 4.15 (latest one available thorugh the "normal" update channels of Ubuntu 18.04), it fails (you can check https://github.com/ektor5/secocec/issues/4 ). Reverting to an earlier commit works. Anyhow, my second question is: the docs say that in order to use the CEC-HDMI driver, i2c-i801 has to be disabled / blacklisted. But what does that actually mean? What is the impact? How will I noticed this? I imagine that obviously that module is loaded for a reason. Is it easy to revert back in case of issues? Thanks a lot for your help!