Re: [PATCH V2 1/2] ARM: socfpga: Permit overriding the default timer frequency