I do the same as we do with raspberry pi for booting from SDcard:
https://git.pengutronix.de/cgit/barebox/commit/arch/arm/dts/bcm2835-rpi.dts?id=abc0447440d68af720127fcca3c17f04ee144fcc

Look like the patch for rpi replace tabs with space.

greets
Pascal