Get information on how to compile a working EFI-based linux kernel. You can either use mainline linux, or grate-driver/linux, a github repository with experimental changes for tegra devices.
A device tree with all features supported by EFI linux. It excludes PMIC regulators. Right now in EFI boot tCover is supported, with hotplug detection, which APX boot doesn't have at all.
If you don't want to compile a kernel yourself, just use the prebuilt binaries. They are built everytime new hardware support is added. These images additionally include a lot of USB drivers and are digitally signed.
For information on how to boot your kernel, visit the Booting page.