[17:54] <dupondje> When is the config of daily kernels adjusted ?