# CONFIG_MACH_SUN4I is not set