#132 improve osek in x86, 32 bits