travis-ci: defer to defconfig

In the future, F9 is expected to support more devices, and it should
be straightforward to enable the build matrix of travis-ci by specifying
the board name.