# CONFIG_MACH_SUN5I is not set