Update configure.ac [bug] psw kernel missing fixed

Looks like this was missed, currently the build is broken until this goes in.