Hi , stephanyr
I'm also trying to follow "the dsi porting guide" and actually I have same question about .
Did you "mkdir" kernel folder @\data or did you find $ANDROID_BUILD_TOP/kernel ?
And how did you do the below command.
"cd $ANDROID_BUILD_TOP/ bootable/bootloader/lk"
Thanks in advance.