im doing research for ICS atm is not possible to flash kernel for simlocked devices, so this is why i asked for the original kernel, if i brick my phone in the kernel level i would like to reflash only to original kernel, (for testing proposes) so, i think both above ways are my options

my question is how do i extract the original kernel from the bin file?