[PATCH] xilinx: kconfig: Move sourcing of board Kconfig to mach folders