0x04C11BD7 is from EN/IEC 60335-1 used in Ethernet etc. Try the srec command STM32 and see if it gets you what you need, from srec 1.64:
−STM32 address
This is a synonym for the −STM32_Little_Endian filter.
−STM32_Little_Endian address
−STM32_Big_Endian address
These filters many be use to generate the CRC used by the hardware CRC unit on the STM32 series of ARM MPUs. The algorithm used by the STM32 hardware unit is just a CRC32 with a different polynomial and word-fed instead of byte-fed.
The address is where to place the 4-byte STM32 CRC.
The CRC used is documented in “RM0041, STM32F100xx reference manual”, page 46, chapter “CRC Calculation Unit”, which can be found at
http://www.st.com/internet/mcu/product/216844.jsp
http://www.st.com/content/ccc/resource/technical/document/application_note/39/89/da/89/9e/d7/49/b1/D...
Could be both K and STM32 parts have the same IP block from some third party, not uncommon, good way to tell is if they share the same bugs. :smileysad:
Code in srec is well structured it would not be hard to copy the STM32 command and make a K command.