Be defensive on the kernel name
mentioned in commit 4939374a
mentioned in commit c490a13c
mentioned in commit 72dffa52
mentioned in commit c742d96b