Symbol: ARM_LPAE_MAX_ADDR_BITS