Hello, I'm currently porting LEDE(wait, OpenWRT now?) on Intel Galileo. Since not every Intel Quark board has GPIO multiplexer chips like Galileo, I think I have to separate board specific components into separate Kconfig and keep platform Kconfig clean. Is there any documentation about this kind of work available? Thanks.