[PATCH] ARM: Remove duplicate SCHED_HRTICK config option

[Olof Johansson]

On Mon, Dec 16, 2013 at 10:51:55PM +0800, Axel Lin wrote:
> There are two SCHED_HRTICK config entries in Kconfig.
> This looks like a merge mistake. Fix it.
> 
> Signed-off-by: Axel Lin <axel.lin at ingics.com>

Acked-by: Olof Johansson <olof at lixom.net>

Please send to Russell's patch tracker.


-Olof