# CONFIG_HVC_DCC is not set