If you have UEFI hardware, there’s been an update in DragonFly of the TianoCore EDK II headers.  If you are like me, you will find the tianocore.org site helps to understand what this is for.