Drop unused kernel_dot_config

1 job for devkit-kernel-build in 14 seconds (queued for 2 seconds)