OG-scheduler for x86