Built Gumstix with WHOI code, also enabling NFSD, WATCHDOG_CORE and PPS