ARM/IntegratorCP: Tidying, remove unused code, make the interrupt dispatcher operation more clear.