Get rid of a committed #define from kernel.h that didn't make the final cut. Put...