[seL4] Alignment fault without U-Boot Cache Enabled

Hi All,

I have noticed an alignment fault in the seL4 elfloader when running seL4 on an AArch64 platform with dcache disabled in U-Boot. The alignment fault is caused by reading the elf files header in the elfloader. The fault can be fixed (hacked) by modifying the length of the elf file name, located before the elf file header, to force a proper alignment.

Is the seL4 elfloader intended to be dependent on u-boot enabling the cache?