Ahead of the Linux 7.2 kernel stable release expected to occur in the coming hours, a last minute "x86/urgent" pull request was submitted with one patch for adding the new tlbi= boot option...