[PATCH] efi_driver: fix a wrong cast