kernel/CMakeLists.txt: Add comments (because it's worthy of some documentation)