Fixed -Wextra warnings on the kernel generator