Add REPEAT_BYTE definition to kernel.h.