No, but your list is almost ok. If you pick Kodi master (very latest), you don't need any additional Kodi patch. However, you need patched ffmpeg and build with additional options.
Note that good performance is achievable only in configuration used by LibreELEC:
1. Kodi master - DRMPRIME codec/renderer gets constant fixes and improvements, so using latest, development version is important
2. No window manager, e.g. X11 - for best possible performance, DRM features are used directly. I don't think that's possible under X11, I never tried. Wayland may work now or in the future, I don't know current state.
3. CMA size must be set sufficiently high - for 4K 8-bit around 256 MiB and for 4K 10-bit 384 MiB - that are just guesstimates, which seems to work fine with LE
4. Set gui size max to 1080p in config (check Kodi config in Allwinner project). While T720 is in theory capable of 4K, there is no reason for GUI to be that big. 4K movie on 4K TV will still be rendered without scaling, just any GUI or overlays (subtitle) will be upscaled.
Point 1 also brings additional limitations - only Python3 addons will work and it might be unstable from time to time.
So, I should pick latest Armbian sources and apply LibreELEC.tv/projects/Allwinner/patches/linux at master · LibreELEC/LibreELEC.tv · GitHub
About ffmpeg - I can assume that I should use LibreELEC.tv/packages/multimedia/ffmpeg/patches at master · LibreELEC/LibreELEC.tv · GitHub
Am I correct?