Some optimization to acpuclock-krait.c (inlining some fuctions) ann SCHED debug off

Inlining some functions may optimize code further