Fixed kernel address problem.
Fixed kernel address problem.
Merge branch 'config' of ssh://github/dargueta/CUSPOS into config