Fix #ifdef CONFIG_MACH_VILLEC2