Detect presence of LPAE when not running an LPAE kernel?

[Ian Campbell]

Is this possible?

The Features field of /proc/cpuinfo only appears to reflect the presence
of LPAE if CONFIG_LPAE is actually on in the running kernel.

The reason I care is so that distro installers can ship a generic kernel
but select LPAE for the running system when appropriate.

On x86 for example I would check /proc/cpuinfo:flags which contains the
CPU features, regardless of whether they are currently enabled.

Is there any equivalent on ARM?

Ian.