efi/x86: Ensure that EFI_RUNTIME_MAP is enabled for kexec
[platform/kernel/linux-rpi.git] / tools / debugging /
drwxr-xr-x   ..
-rw-r--r-- 264 Makefile
-rwxr-xr-x 3827 kernel-chktaint