[GIT PULL] UPDATED - x86 and EFI fixes for v3.13-rc3

2013-12-04 Thread H. Peter Anvin
Hi Linus, The following changes since commit 6ce4eac1f600b34f2f7f58f9cd8f0503d79e42ae: Linux 3.13-rc1 (2013-11-22 11:30:55 -0800) are available in the git repository at: git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86/urgent for you to fetch changes up to

[GIT PULL] UPDATED - x86 and EFI fixes for v3.13-rc3

2013-12-04 Thread H. Peter Anvin
Hi Linus, The following changes since commit 6ce4eac1f600b34f2f7f58f9cd8f0503d79e42ae: Linux 3.13-rc1 (2013-11-22 11:30:55 -0800) are available in the git repository at: git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86/urgent for you to fetch changes up to