Hum I think the file must be installed erasing first boot.IMG and then flashing your kernel ,Yank
I know it will be overwritten by your boot..but who know
When at home I'll try something to let phone boot
That won't hurt, you'll first flash the full update = ROM side update & stock CM10.1 updated kernel, then you will flash my kernel (it will replace the boot.img).
JP.