wayrad
Android Expert
Actually, it looks like I'd either gotten hold of outdated info, or was making things much more difficult for myself than they needed to be. I just found instructions hereIt's a PITA, or at least it was for me. I just included my kernel on the SD card with the ROM image on that first boot, and it automatically installed it. To flash it in after the SD has been set up, you'll need to get into recovery mode with the correct button combo, which isn't necessarily easy when running off the card (for whatever reason).
OverClocking NC W/ CM7-35 - CyanogenMod Forum
and it worked fine. Except there is already a uimage file when you unpack the kernel file, so no need to rename the kernel. I just copied that file over the existing one on my card (using a card reader), put it back in the nook, and bam, I can overclock!
(At least, in Cyanogenmod performance settings I can now go as high as 1200, and I think the max was 900ish before. Also I'm seeing "stepping" settings in Nook Tweaks, and it's no longer telling me I have the wrong kernel.)I did try it on my spare card first just in case.

Edited to add: Curses, I spoke too soon. Getting a wireless error.

Thanks!
It was TheAmazingDave who gave me the necessary clue.