> options INVARIANT_SUPPORT > > nooptions WITNESS > nooptions WITNESS_SKIP_SPIN If I include GENERIC can I comment out the following? #cpu I486_CPU #cpu I586_CPU Does this make any difference? I have always done this out of habit. would it become nocpu I486_CPU ? Or is this irrelevant as the build knows what CPU I have? Thanks, Ken