Symbol: i386_init_pcb_tss