[PATCH 1/1] efi_loader: printf code n efi_disk_get_device_name()