Phoronix: Linux 3.13 To Support EFI On ARM

Beyond the NVIDIA Tegra 4 support and improved 64-bit ARM code, the in-development Linux 3.13 kernel will also support EFI on ARM...

http://www.phoronix.com/vr.php?view=MTUxMDg