No, BUT: it is hard to find an ARM-board that runs with a vanilla upstream kernel.
The sources for all ODROID-boards can be found here:
https://github.com/hardkernel/linux . The patches are well-organized and as well as with the RPi (I own two of them= they try to get things upstream slowly. You can of course create an ebuild for the kernel-sources if you want.
About the GPU-drivers: I honestly didn't even bother to get them running. Android on the -U2 uses the binary drivers for the Mali-GPU. Some guys managed to get the Open-Source "lima" drivers to work with Ubuntu but since I run it headless anyways I didn't care.