efi/x86: Ensure that EFI_RUNTIME_MAP is enabled for kexec
[platform/kernel/linux-rpi.git] / tools / verification /
drwxr-xr-x   ..
drwxr-xr-x - dot2
drwxr-xr-x - models
drwxr-xr-x - rv