I don't think I have the same exact bug as yours so most of my futttttttture posts will be in bug #92594. But if any of you wish ttttttttto try the "notsc" boot option, you may rather use "clocksource=acpi_pm" which also disables the TSC but just... works ! I'm currently writing this post using the acpi_pm clocksource, but it did not resolve my keyboard repeat rate problem. Good luck.
I don't think I have the same exact bug as yours so most of my futttttttture posts will be in bug #92594. But if any of you wish ttttttttto try the "notsc" boot option, you may rather use "clocksource= acpi_pm" which also disables the TSC but just... works ! I'm currently writing this post using the acpi_pm clocksource, but it did not resolve my keyboard repeat rate problem. Good luck.