fix kernel userec procedure