RE: [PATCH] arch: arm: socfpga: timer_s10: Override udelay for secure section