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