Hi Paul,
it seems as if there aren't many places left over where the MACH_JZ47* configs are still in use:
drivers/char/hw_ramdom/Kconfig
drivers/clk/ingenic/Kconfig
drivers/gpu/drm/ingenic/Kconfig
drivers/pinctrl/pinctrl-ingenic.c
Is it possible to get rid of them and just have CONFIG_MACH_INGENIC_GENERIC?
This might simplify my defconfig for multiple machines.
BR and thanks,
Nikolaus