# CONFIG_B43_DEBUG is not set