(_is_kernelServer_needed) forbid selecting kernel-server if not having PAE since PAE support is mandatory for kernel-server (#1414)