[linux-morello-distros] Re: [PATCH 12/17] Add elf patcher