[Arm-dev] Proposal regarding aarch64 images

Now that SolidRun is ramping up our Armada 8040 line I have had more initiative to start testing various distros. There is an active effort to bring full UEFI support to the 8040 platforms however this is still a WIP. In the meantime I was looking into u-boot's efi loader and currently there is major hurdle with using this boot method on the CentOS images...the /boot partition is formatted as xfs.

Of course it would be easy enough to spin a new image with /boot formatted as ext4. Is there any reason not to make the default images use this configuration? This would obviously be one less hurdle for using CentOS aarch64 on more platforms.

Thanks, Jon