I just got access to that Raspberry Pi 3 again. I saw that the expected fdt address now changed to 0x02008000 in the boot script.
In the config.txt, it was set as:
# set extended DT area device_tree_address=0x100 device_tree_end=0x8000
So I changed it to:
# set extended DT area device_tree_address=0x2008000 device_tree_end=0x200ff00
And voilà - it works. Even the MAC address is correct now.
I just got access to that Raspberry Pi 3 again. I saw that the expected fdt address now changed to 0x02008000 in the boot script.
In the config.txt, it was set as:
# set extended DT area tree_address= 0x100 tree_end= 0x8000
device_
device_
So I changed it to:
# set extended DT area tree_address= 0x2008000 tree_end= 0x200ff00
device_
device_
And voilà - it works. Even the MAC address is correct now.