Just a little heads up, if hdmi cec in kodi is the only thing you need right now (emulationstation doesn’t support it (yet)) there seems to me a much easier approach.
I tried the above steps with compiling but I failed that. Then I just installed “cec-utils” and cec worked perfectly in kodi.
sudo apt-get install cec-utils
Hope this helps someone.
