coreos/coreos-overlay — pull request #813 by marineam (2014-08-21 21:51:42+00:00)
Title: profiles: disable openmp globally instead of just for boards

Not a particularly big deal but it seems wise to build the SDK compilers
and the gcc in dev images with the same feature set.