[efi] Fix compilation on Mac OS X.