[RFC] first view: armv7 Linux UEFI runtime services

Hi all,

Following on the previous patch, here is the armv7 UEFI runtime services support, documented on https://wiki.linaro.org/LEG/Engineering/Kernel/UEFI/RuntimeServices

(Do note - GRUB boot is currently the only way to actually get the UEFI system table into the kernel.)

The patches were based off linux-linaro-tracking, and when I tried building for upstream 3.10-rc6 it failed due to a couple of header file changes. I will address that during cleanup before upstream submission later this week. Oh, and there is an accidental remaining edit of an x86 ifdef in init/main.c. That will be fixed tomorrow.

Again, early reviewing would be appreciated.

/ Leif