# CONFIG_SILICOM_PLATFORM is not set
