Update for Thread 0 problem in CSwitch