restart.c: Option "panic_restart" support values: 9, 1000...1005