Copy ramdisk INSTALL.aout kernel into installation/instkernel in ${RELEASEDIR}
where it had been put and documented. Actually closes PR port-shark/41672.