Fix system counter initialisation

These two commits fix the system counter initialisation. CNTFRQ_EL0 register is now correctly programmed by all CPUs and a platform hook has been introduced for the architecture code to get the frequency of the system counter.