After a lot of ‘hacking’, I managed to get the Odroid U3 to boot with Kernel 3.14-rc3, from http://git.prahal.homelinux.net/odroid.git/ , but there were persistent issues with USB, which refused to recognise any devices connected (apart from the USB memory stick (usb-storage) connection built-in to the kernel at compile time).
Fedora release 20 (Heisenbug) Kernel 3.14.0-rc3 on an armv7l (ttySAC1) ........... $ uname -a Linux rgodroid 3.14.0-rc3 #1 SMP PREEMPT Thu Feb 27 18:34:06 GMT 2014 armv7l armv7l armv7l GNU/Linux
So.. Back to the Hardkernel version of Kernel 188.8.131.52 for the time being, and I have managed to get rid of the ubuntu/debian-proprietary bits from the kernel tree, and re-edit the Makefile to remove all references.. I have had some odd issues with USB connections with this version, but at least the USB keyboard and mouse work OK!
Robert Gadsdon. March 1, 2014.