/sys/module/kgdb_nmi/parameters/