Works! There's another default value 54000 on line 676, but maybe that's needed for "current_dispclk"?