Not sure if anybody but me needs that, but I find the setup time for Kernel Debugging quite taxing. So, to make life a little easier, I made the following startup script on my target machine:
#!/bin/sh
KitPath="$HOME/KernelDebugKit/"
address=`/usr/sbin/kextstat | perl -ne 'if (m/(0x\w+)\s+0x\w+\s+0x\w+\s+com\.apple\.iokit\.IOSCSIArchitectureModelFamily/) { print "$1\n"} ' `
/sbin/kextload -c -e -k "${KitPath}mach_kernel" -n -z -r "${KitPath}" -a com.apple.iokit.IOSCSIArchitectureModelFamily@$address -s /tmp/ ~/KernelDebugKit/IOSCSIArchitectureModelFamily.kext
scp /tmp/com.apple.iokit.IOSCSIArchitectureModelFamily.sym DEBUGMACHINE.local:/tmp/
This script will find the load address and generate the symbols from the IOSCSIArchitectureModelFamily and push them onto my debugging machine for gdb. The script is quick and dirty, but maybe it is of use to someone