Update to EDK2 stable tag 202502

Update edk2-platform to pull in varstore fix

Update to EDK2 stable tag 202411

Update to the latest EDK2 stable tag 202411, and update edk2-platforms
at the same time.

Signed-off-by: Ard Biesheuvel <ardb@kernel.org>

Update to EDK2 stable tag 202408

Update to the latest EDK2 stable tag 202408, and update edk2-platforms
at the same time.

Revert DTB to the 2023.05.12 version

* This is a workaround for #252
* Also update EDK2 to latest

New release for RPi4

- update edk2 to latest
- update edk2-platforms to latest
- update edk2-non-osi to latest
- drop downstream patches now that they have been merged
- omit TLS support from DEBUG build to save space
- upgrade GitHub actions

Update to EDK2 latest

Update to EDK2 latest

* Also update yml to take care of deprecated items.
* Also update readme badge per badges/shields#8671.

Update to EDK2 latest

* Also enable SMC_PCI_SUPPORT

Update EDK2 to latest

* Also revert start4.elf to most recent version as raspberrypi/firmware#1619 (#177) should be fixed now.