Also check the Linux Devices subreddit. http://www.reddit.com/r/linux_devices/ Not hugely active, but most boards from the last year or so will be there.