bug#45517: Failed boot on arm32 with u-boot due to missing requirements with the distro boot protocol

[Mathieu Othacehe]

Hey Dennis,

> Thanks a lot, that works fine.

Glad it works! Maybe we should consider creating a
gnu/system/images/lime.scm file in the future.

Closing this one.

Thanks,

Mathieu