Use the following command to debug a live kernel.
# adb -k /dev/ksyms /dev/mem
/dev/ksyms is a pseudo device that contains the complete name list of the running kernel.