A few changes had to be done at the osek-v port in order to support
bench-coptermock application:

- interrupt support
- slower timer interrupt
- arch_startup has to return normally
- implement interrupt control system calls

Change-Id: I6fe5c046a9bd1fc6422c5abcc9aa2041cceae990