Caught by gcc.
Thanks for doing this, but please hold off any further changes to the efi stuff. I have it on a couple of branches on a couple of machines tweaking and even trivial changes like this cause me hassles in merging and updating. I'd prefer if you send me stuff like this directly. I don't even recall seeing this review.