Pike, I haven't rebooted my system, because, as you can imagine, doing so is quite costly the way it is now. In any case, I've rechecked the situation of the prelinked kernel on my El Capitan partition. It is where it ought to be. It belongs to root, or system, in the group wheel, the way it should be, but I find it odd that it is a different size from the prelinkedkernel of the Installer media. The latter's size is 18,915,592 bytes, whereas the prelinkedkernel size on the El Capitan disk is 12,461,091 bytes. Is this normal?