platform-dependent board selection