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>
b47fd76563
Signed-off-by: Ted Hess <thess@kitschensync.net>