[PATCH 1/1] efi_loader: add missing doc comments in efi_disk.c