efi/x86: Fix build with gcc 4