Hi Johns,
you might have a misunderstanding of the role of the SDK?
The 'burning' file is not created by the SDK, but with a tool like objcopy. See https://mcuoneclipse.com/2017/03/29/mcuxpresso-ide-s-record-intel-hex-and-binary-files/
Objcopy is called either directly from the IDE or as part of the build process.
And yes, you can create different file formats, including Intel Hex, see above article.
PS: As a side note: CRC and checksums are different things (and get easily mixed up). Intel Hex is using a checksum, not a CRC. Same for S19 files.