I still see custom kernels for the Note 2 with the Exynos 4412, so how does this lack of "documentation" affect anything?
Just like I use to see a lot of ICS roms for my Tegra 2 powered LG G2X, they were complete shit due to not having properly working drivers.