Setting the processor options for #521. Also updated a few header files
Merge pull request #523 from excilys/521_processor_options

Setting the processor options. Fixes #521