@tom
" I flashed ubuntu over the baseband of cm12.1. I thought that was what the advice was! "
Yes, I think that was the advice.

My cheap advice about mixing systems -> " dual booting is just not worth the trouble."