K 10 svn:author V 3 bde K 8 svn:date V 27 1997-08-31T22:43:46.000000Z K 7 svn:log V 79 Put I*86_CPU options in opt_global.h and don't #include "opt_cpu.h" centrally. END