Some notes: Depending on what eeprom firmware your RPi4 shipped with you may need to flash the eeprom using instructions from https://www.raspberrypi.org/documentation/hardware/raspberrypi/bcm2711_bootloader_config.md , "Update the bootloader", and noting there is a version more recent than the list...