Fix passing of kernel parameters

Broken in 9ee30cd9b51c46cea7193993d006bb4301588001.  Reported by Arvin
Moezzi.