Turns out iret pops the FLAGS register... so yeah that probably
introduced some early bugs I couldn't figure out, but also explained why
I could never get the error messages to print. So I added code that
mangles SI (could have used xchg...) so we can modify the stack directly
before calling iret.