Merge pull request #23 from griera/master

Fixes some bugs regarding to E3 tests suite. Now all semaphore tests hav...
Merge pull request #24 from griera/master

Fixes all bugs to pass all tests suite for E3 deliverable. However, E2 t...
Fixes allocate_DIR problem in init_idle