Switch to Ubuntu 12.04 as the base

14.04 seems to work most of the time, but just be on the safe side lets
switch to what AOSP says is supported.