config: fix kernel sched

Signed-off-by: Humberto Borba <humberos@gmail.com>