#132 improve osek in x86