Is it possible to use Virtualization Extensions with current bootloader?
If not, will a bootloader which boots kernel into EL2 be available in the near future?
If you uses UEFI+ARM-TF, the kernel should boot from EL2:
[ 0.480293] Brought up 8 CPUs
[ 0.633318] SMP: Total of 8 processors activated.
[ 0.638076] CPU features: detected feature: 32-bit EL0 Support
[ 0.644030] CPU: All CPU(s) started at EL2
