From: Alexander Popov <alex.popov@linux.com>
Date: Sun, 2 Jun 2024 11:54:07 +0000 (+0300)
Subject: Add the new name of PAGE_TABLE_ISOLATION
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=9d1c4cf0068065842f838125245ead146bf247b6;hp=9d1c4cf0068065842f838125245ead146bf247b6;p=kconfig-hardened-check.git

Add the new name of PAGE_TABLE_ISOLATION

Since Linux v6.9 it's called CONFIG_MITIGATION_PAGE_TABLE_ISOLATION.

Refers to #127, #117
---