For those playing at home, none of the options "nohz=off", "acpi=off", "hpet=disable", or "nosmp" have any effect on my ability to trigger this bug on either the -12-generic or -12-rt kernels.
For those playing at home, none of the options "nohz=off", "acpi=off",
"hpet=disable", or "nosmp" have any effect on my ability to trigger
this bug on either the -12-generic or -12-rt kernels.