These were added to eficonex.h in gnu-efi 3.0.13. Let's move them to missing_efi.h behind an appropriate guard to fix the build with recent versions of gnu-efi. (cherry picked from commit 95ba433a) (cherry picked from commit 48fff0a2)