edk2: Bring in a bunch of additional TianoCore EDK II headers.