Fix a typo in Kernel that hasn't caused problems (yet) because 'None' is a valie C identifier.