An alternative fix would be, if we decided to schedulein an interrupt, check %ss for zero and reload itwith __KERNEL_DS before schedule.