On my odroid HC4, the kernel is the stock 4.9.x from hardkernel. I haven't gotten around to switching to mainline since I do like petitboot and don't want to have the little box connected to a monitor while figuring things out. It does work as-is, just with some small issues.
For instance, man doesn't render man pages.
https://bugs.launchpad.net/ubuntu/+source/man-db/+bug/1778684
The workaround is to disable apparmor for /usr/bin/man. I should just upgrade the kernel, really. But for now:
apt install apparmor-utils
aa-disable /usr/bin/man
