Part of the fix for upstream Kernel is to add vchiq DT data:
That makes it to create /dev/vchiq devnode.
With that, kodi doesn't crash anymore, but those messages are generated:
[ 6.846340] vchiq: module is from the staging directory, the quality is unknown, you have been warned. [ 6.851573] vchiq: vchiq_init_state: slot_zero = ea880000, is_master = 0 [ 7.027647] [<bf00c794>] vchiq_doorbell_irq [vchiq] [ 8.022814] Modules linked in: cfg80211(+) vc4(+) snd_soc_core ac97_bus snd_pcm_dmaengine snd_pcm snd_timer snd crc32_arm_ce brcmutil soundcore vchiq(C) [ 106.220212] vchiq: vchiq: connect: could not lock mutex for state 0: -4 [ 149.432097] vchiq: vchiq: could not connect: 1
Maybe vchiq DT data changed since Kernel 4.11 (the last time I used my RPi3).