The kernel image is actually compressed so that's why you can't find it when you look inside the file with a hex editor. It should be possible to uncompress it, patch it and then recompress it. If there is a lot of demand for this then I'll make a small utility to do it? No guarantees though, I haven't looked at the process too closely yet.
- Trevor