Does someone know of a converter from Intel .hex file format or Motorola S-record to elf file format?
objcopy.exe -I ihex -O elf32-little "input.hex" "output.hex.elf"
did the trick.