Re: [PATCH] efi_driver: fix a wrong cast