efi_convert_cmdline
cmdline = efi_convert_cmdline(image);
char *efi_convert_cmdline(efi_loaded_image_t *image);
cmdline_ptr = efi_convert_cmdline(image);