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.