add kernel address constant