- Revert "added origenFlavour profile in 13.1 JeOS for arm"
  * this was for the wrong distribution, there is no dtb for
    the Exynos 4210 CPU on 13.1, thus we can only use the
    kernel with the old board descriptions.
    This reverts commit 4c9dc8bb29
- added origenFlavour profile in 12.3 JeOS for arm