Fix dynamic kernel menu logic