Cleaned kernel model
Adapted overview figure
Added references for tool chain