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