Common configuration

The following macros can be defined for both partitions and kernel:

• POK_GENERATED_CODE: specify that the code compiled has been generated from AADL so that we can restrict and avoid the use of some functions. This maccro is automatically added by Ocarina when it generates code from AADL models.