I've updated the corresponding files for the device. The kconfig change was necessary to stop the associated build error listed in the wiki.
I've tested the build on my own device - the boot process works with at least weston, xfce4, and fbkeyboard (though weston is the only one where anything is displayed). Using SSH to connect to the device via USB works.
