Fixed kernel address problem.
Fixed kernel address problem.
Merge branch 'config' of ssh://github/dargueta/CUSPOS into config
Forgot to add AMP driver in loader.
Merge branch 'intelsys' of ssh://github/dargueta/CUSPOS into intelsys