Editing: kernel.h

BATAL