In kernel debug, sometimes you might need the debugfs (CONFIG_DEBUG_FS)。
you can manually mount as the commands:
adb shell> # mount -t debugfs debugfs /sys/kernel/debug
or
adb shell mount -t debugfs debugfs /sys/kernel/debug
Then you can find the debugfs under