Wouldn't it be nice if the board manufactures just gave you a .config file for their board? They put the effort into making the board docs, it doesn't seem like much more effort to match that spec with the kernel .config. Even if the .config they offer for download starts to get stale, you're one "make oldconfig" away from a working .config.