Linux 6.17 Will Correctly Map by Default F13 to F24 Keys on PS/2 Keyboards