[PATCH] pause_on_oops command line option