Correcting the name for the psw kernel.