Remove CONFIG_SCHED_HRTICK from target configs, as it was added to the
generic config in b47fd76563.
Signed-off-by: Stijn Tintel <stijn@linux-ipv6.be>
Remove CONFIG_SCHED_HRTICK from target configs, as it was added to the
generic config in b47fd76563.
Signed-off-by: Stijn Tintel <stijn@linux-ipv6.be>