Thanks for looking into this. If I understand correctly, the Debian kernel
can't replace the NTC kernel because it does not have NAND support, but the
NTC kernel's NAND support is not proprietary; it's other drivers/firmware
that make the NTC kernel non-free. In that case, would it be feasible to
adapt this
https://linux-libre.fsfla.org/pub/linux-libre/releases/4.4.13-gnu/deblob-4.4
to deblob the NTC kernel? I don't really understand the script, but it seems
to have one or more functions that it runs for each non-free file
(reject_firmware and clean_blob for .c files, clean_mk for makefiles, drop_fw
for .bin files, etc.) If I find a list of all non-free drivers/firmware in
the NTC kernel and modify the deblob script for the files associated with
each one, could that deblob the NTC kernel, or is it not that simple?