# CONFIG_PSTORE_PMSG is not set