1. Shutdown RPI4.
                               Remove all power from the Raspberry Pi 4 
                              2. Remove the MicroSD card.
                               Carefully remove the MicroSD card, and if applicable insert into a SD card converter.
                              3. Insert MicroSD card.
                               Insert the MicroSD card into a card read on a Windows workstation.
                              4. Replace corrupt file.
                               Copy a new RPI_EFI.fd file from the Raspberry UEFI firmware image source, and overwrite the corrupt file on the MicroSD card.
                              5. Remove MicroSD card.
                               Stop and eject and remove the MicroSD card from the SD converter if applicable.
                              6. Re-insert MicroSD.
                               Re-insert micro SD card into RPi4.
                              7. Power On RPi4.
                               Apply correct power to RPi4.