x86/boot/compressed/64: Detect and handle 5-level paging at boot-time

[mirror_ubuntu-jammy-kernel.git] / .cocciconfig

[spatch]
        options = --timeout 200
        options = --use-gitgrep