EFI updates for 3.7

Fix oops with EFI variables on mixed 32/64-bit firmware/kernels and
document EFI git repository location on kernel.org.
This tag has no release notes.