Add external definition of constant to the user kernel