PANIC_REBOOT_WAIT_TIME
#ifndef PANIC_REBOOT_WAIT_TIME
static int panic_reboot_wait_time = PANIC_REBOOT_WAIT_TIME;