fix restart/interrupt kernel buttons