##
## Disable debug info
##
# CONFIG_DEBUG_INFO is not set