Re: [PROPOSAL] ARM/FDT: passing multiple binaries to a kernel