[PATCH] efi_loader: fix possible buffer overflow