I'm writing a bare metal program and want to read data from an initramfs configured in config.txt. I see that the linux,initrd-start and linux-initrd-end values are being added to the FDT and the size matches the size of the initramfs file. However, when I read the data the memory contains a random file from the SD card (an overlay DTBO in my case), not the specified ramdisk file.
Has someone else seen this? Is it possible that there is a problem with the Pi4 firmware?