Symbol: system_supports_mixed_endian_el0