You've found an error in the programmers guide. We'll correct that. Releasing reset doesn't boot Linux, it just allows the cores to execute the boot sequence.
SCC doesn't have the PC platform BIOS ROM and doesn't implement the typical bootstrap process, loading images from disk and such. It depends on a bootable image being preloaded into memory by the sccKit utilities.
sccBoot pulls reset, loads the bootable Linux images into memory, sets up configuration registers and releases reset - and the cores execute the boot sequence (see section 16 of the Penitum P45c manual in documentation).
sccReset -p simply pulls the reset - holding the cores in the reset state.
sccReset -r releases reset, letting the execute the boot sequence. The "-r" stands for "release" not "reboot".
So you loaded a bootable image for the cores, and let them boot using that image. You then put 4 of them into reset mode.
You then let them execute the boot sequence again, on a memory image in an unknown (not-bootable) state.