That is because it is beyond scope of this topic. There is a generic guide, but it may not work for every device as you may be required to trim the binary stock firmware before flashing.
Usually the specifics are on device info wiki page:
Finally if you use Google, you can find out, that someone recently needed to do this and even made the modified stock firmware available: