As far as I know, it only has the eMMC and no dedicated "firmware" storage (e.g. SPI flash) like the Jetsons and CM4s have, so if you install some kind of platform firmware, you'll have to partition the eMMC carefully so as not to overwrite it by accident. But given that, there IS a port of EDK2 for the RK3588: