Related: SYS#294
This currently requires the meta-ti layer but we will make sure that nothing from it will be required in the end. The kernel is based on linux-3.2 as this is the "default" TI kernel that supports the SGX (not that we care)