[PATCH v19 06/10] sched: always inline context_switch()

When CONFIG_GCOV is enabled, gcc decides to put context_switch() out-of-line, which is inconsistent with its normal behavior. It also causes an objto