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