When A9 is booted with UEFI, it works fine with an ATAGS kernel.
However, when it is boots a device tree kernel, it crashes during the boot sequence.
When A9 is booted with UEFI, it works fine with an ATAGS kernel.
However, when it is boots a device tree kernel, it crashes during the boot sequence.