kernel - lwkt_token code, minor fix to last commit