K 10 svn:author V 6 sbruno K 8 svn:date V 27 2010-11-15T21:41:32.635034Z K 7 svn:log V 76 Bump MAXCPU to 64 after alc@ pointed out that cpu_switch.S was plain wrong. END