[PATCH] ARM: rcar-gen2: Do not attempt to re-setup timer if running correctly

[Magnus Damm]

On Wed, Dec 11, 2013 at 6:25 PM, Ben Dooks <ben.dooks at codethink.co.uk> wrote:
> If the system has been started in non-secure mode, then the ARM generic
> timer is not configurable during the kernel initialisation. Currently
> the only thing we can check for is if the timer has been correctly
> configured during the boot process.
>
> Signed-off-by: Ben Dooks <ben.dooks at codethink.co.uk>
> Reviewed-by: Ian Molton <ian.molton at codethink.co.uk>

Looks fine, thanks!

Acked-by: Magnus Damm <damm at opensource.se>