bl1_arch_setup() should not program the counter frequency

[danh-arm]

Currently bl1_arch_setup() programs the counter frequency:

    /* Read the frequency from Frequency modes table */
    counter_base_frequency = mmio_read_32(SYS_CNTCTL_BASE +
    CNTFID_OFF);
    /* The first entry of the frequency modes table must not be 0 */
    assert(counter_base_frequency != 0);

    /* Program the counter frequency */
    write_cntfrq_el0(counter_base_frequency);

Not all platforms have a memory mapped timer and not all platforms will have initialized this by the time BL1 starts (causing the assert to fail). Also, bl31_arch_setup() does the same thing later.

This code should be removed from bl1_arch_setup() and the equivalent code in bl31_arch_setup() should be moved to bl31_platform_setup().

In future, when support for firmware update is implemented, there is a case where BL1 platform specific code will need to program the counter frequency. This should be implemented at that time.