Show Kernel-Settings only if PSK is installed