RE: [PATCH] device coredump: fix minor issue in Kconfig file