K 10 svn:author V 8 jmallett K 8 svn:date V 27 2012-03-12T21:25:32.567236Z K 7 svn:log V 328 o) Use ABI, not ISA_* options, to determine whether to compile bits if libkern required for the ABI the kernel is being built for. XXX This is implemented in a kind-of nasty way that involves including source files, but it's still an improvement. o) Retire ISA_* options since they're unused and were always wrong. END