kernels with builtin springboard doesn't support stack-pivot

[ampresent]

Because in cli.py, once we found the kernel has a builtin springboard, we don't apply dynamic_springboard.patch.
However, there's not only springboard, but also stack-pivot in dynamic_springboard.patch.
Without stack-pivot, any change in __schedule's stack size will cause the scheduler.ko to crash.