x86/efi: Dump the EFI page table

This is very useful for debugging issues with the recently added
pagetable switching code for EFI virtual mode.

Signed-off-by: Borislav Petkov <bp@suse.de>
Tested-by: Toshi Kani <toshi.kani@hp.com>
Signed-off-by: Matt Fleming <matt.fleming@intel.com>

diff --cc arch/x86/Kconfig.debug
Simple merge

diff --cc arch/x86/include/asm/efi.h
Simple merge

diff --cc arch/x86/platform/efi/efi.c
Simple merge

diff --cc arch/x86/platform/efi/efi_32.c
Simple merge

diff --cc arch/x86/platform/efi/efi_64.c
Simple merge