[OT] best kernel scheduling patch for a workstation