efi_fdt_prepare_boot
int efi_fdt_prepare_boot(const char *, const char *, u_long *);
if (efi_fdt_prepare_boot(fname, args, marks) != 0) {