tlbi= Boot Option Submitted Ahead Of Linux 7.2 Kernel Release

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.