# CONFIG_STARFIVE_JH8100_INTC is not set
