track proper kernel branch