I'm having difficulties recompiling the kernel for odroid U3 on ArchlinuxArm. The corresponding branch is odroid-3.8.y. The problem is that this kernel requires many patches (some of which I cannot find) to be able to be compiled against current gcc (version 5.2). The solution would be to either perform the corresponding patches or provide a more recent kernel for the U3, such as 4.1.

Is there any plan for doing either of these?