disable CONFIG_DEBUG_BUGVERBOSE by default