size_t should be 64-bits on a 64-bit machine. mmsize_t should be 32-bits...

size_t should be 64-bits on a 64-bit machine. mmsize_t should be 32-bits (unless CONFIG_MM_SMALL is selected).  This commit backs out the last change to stddef.h