# CONFIG_KGDB_TESTS_ON_BOOT is not set