Changes to allow spike & RTL behavior to better match each other.

  - EI turned off on sys_exit.
  - IM/IP cleared on start.
  - badvaddr only saved to tf on page faults.