Hmm, the error still matches the one mentioned in the forum when the kernel image is too big: https://forum.odroid.com/viewtopic.php?p=282220#p282220
I’ll have a closer check as the increased address for dtb file is in place. Good to know also that some other parts of the boot.ini seem to be obsolete (disabling HDMI, as the related parts of the device tree are not present anyway).