Forgot to add AMP driver in loader.
Forgot to add AMP driver in loader.
Merge branch 'intelsys' of ssh://github/dargueta/CUSPOS into intelsys
Fixed bootloader macro and stage ordering bugs.