efi/x86_64: fix trivial compilation warning