Changes

Improve -with-bootstrap mode

- coreboot + opt.opt gives a faster build than bootstrap + opt.opt
- Restore the original bootstrap compilers on exit, so that
  other-configs works (it performs several builds in sequence).
 (commit: b2f467a)