Minor performance optimizations for linux x86 context switching