kernel/sched.c: add intelliplug compatibility

Signed-off-by: Paul Reioux <reioux@gmail.com>
kernel/sys.c: fix derpy ifdef for AUTO_HOTPLUG

Signed-off-by: Paul Reioux <reioux@gmail.com>