It’s great that you’ve identified and provided a fix for the unaligned access issue in the BL31 firmware with your detailed explanation. Tackling undefined behavior in firmware like this is crucial for ensuring stability, especially when upgrading toolchains. The insights shared here, particularly about the use of gcc 11.3, will be helpful for others experiencing similar issues.