We are running a survey to help us improve the experience for all of our members. If you see the survey appear, please take the time to tell us about your experience if you can.
Changing an entire toolchain just to get a $readmemh compatible file would appear to be a bit extreme. It's perfectly possible to convert a binary from the standard kernel build to a hex file using something like 'od' or 'xxd'.hths.
You don't have to use armcc/armlink to use fromelf. Fromelf will work with any elf file built for ARM. The gnu tools produce elf file files as well.