Tell GCC to not inline exit_to_redboot()
Tell GCC to not inline exit_to_redboot()

Because it screws up an assumption we are making about things being in
particular registers.
ferrous26/cs452-flaming-meme,ferrous26/cs452-flaming-meme,ferrous26/cs452-flaming-meme