No matches were found for subject:"\[PATCH\] efi\: Fix warning of int\-to\-pointer\-cast on x86 32\-bit builds"