boot/efi: Bring in a bunch of additional TianoCore EDK II headers.