Add legacy library libcorkscrew, because the sgx driver needs it to run.
Adapt domx paths.
Add archos kernel/hwcomposer specific header files.