If one species a kernel with the "--with-kernel-name" option,
this means that only this (real/complex) is configured and
installed. All other available real/complex kernels are not considered.

Thus the help messages (see ./configure --help) is changed
such that the option is called

"--with-only-kernel-name"