Hi,
I am investigating about the possibility to migrate to Kernel 4.13.x for Orange Pi platform.
I notice that other distributions already work with this more recent kernel so it should appear to be possible but I have no idea how long time it could take this step.
Regards
Fulvio