sched2 seems to be disabled on x86

[Neil Booth]

Dan Nicolaescu wrote:-

> It might be true that -fverbose-asm is not reporting the facts, but
> it is also true that sched2 is not running. The conjecture was that
> the speedup is from not running sched2. 

Indeed, I needed an extra #include which Franz has now applied.  I've
also restored the f_options array, so the output of -fverbose-asm
should now be correct.

Neil.