Add the kernel's debug flag to the functional test kernel.