General question about flashing kernels