boot/efi: Bring in an additional TianoCore EDK II header.