# CONFIG_PANIC_ON_OOPS is not set