kernel: Remove global `tcl.h` include #1458

Job	Run time
pre_job	4s
test-compile (ubuntu-latest, clang-14)	11m 28s
test-compile (ubuntu-latest, gcc-10)	11m 52s
test-compile (ubuntu-latest, clang-18)	22m 38s
test-compile (ubuntu-latest, gcc-13)	35m 0s
test-compile (macos-13, clang)	24m 17s
test-compile (ubuntu-20.04, clang-10)	12m 16s
	1h 57m 35s

Provide feedback