New codina kernel

Change-Id: Id6b116f211688a0b2f3b784cd9bf964d1dd4f304
Add GCC 4.8 toolchain

Change-Id: I6f943dfd24e62026f08f30c180743caf4de82858