Now when mainline kernel boots fine on Samsung ARM Chromebook I think that it is a time for me to end my work on Ubuntu support for this device.
Those few who use Ubuntu 13.04 or later: nothing will change for you probably. Kernel from repository is old and should be refreshed to at least same as Chrome OS is using. But during last few months no one tried to get it working so for me it looks like lack of interest.
Anyway I will need development machine for my work at Red Hat. So soon Ubuntu 13.10 gets replaced with Fedora 19 “remix” with 3.4 or 3.8 kernel first probably (for USB 3.0 and audio) and then sooner or later switch to mainline.