# CONFIG_FORCEDETH is not set
