Fix dynamic kernel tweaking menu for real this time