Uses redirectexit and fixes #3798 (#3799)
Uses redirectexit and fixes #3798 (#3799)

* Use redirectexit instead of manually updating header

Signed-off-by: Colin Schoen <db9f0369fca3c6c82031fd33aeed6b155234ccfe@berkeley.edu>

* More fixes

Signed-off-by: Colin Schoen <db9f0369fca3c6c82031fd33aeed6b155234ccfe@berkeley.edu>

* Fix indentation

Signed-off-by: Colin Schoen <db9f0369fca3c6c82031fd33aeed6b155234ccfe@berkeley.edu>

StealthWombat/SMF2.1-more-forkery,StealthWombat/SMF2.1-more-forkery