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