ARM/IntegratorCP: kern4 working after systick frequency change.