system_supports_32bit_el0
(system_supports_32bit_el0() && \
if (!system_supports_32bit_el0())
if (system_supports_32bit_el0()) {
if (!system_supports_32bit_el0())
!system_supports_32bit_el0())