Hi Dennis,
I'm having a similar problem to you in that It can't find a devconfig file. I'm trying to build on the 2S and have found https://github.com/TinkerBoard/kernel/tree/linux4.4-rk3288-tinker_board/arch/arm64/configs but have had limited success. Did you get any further with it?
Cheers