Add Hardkernel Odroid C4 stock kernel

Until we don't gain sufficient stability with a modern build, we could provide stock builds. I already played once and since its more or less done, PR follows.