Add CONFIG_MACH_* for Vasto