Comment 4 for bug 759725

Kees Cook (kees) wrote :

Sorry, that should be "vmlinuz" not "vmlinux" in the above examples. :)