tenderloin: cleanup BoardConfig

Change-Id: I46b7db85620ceab59c31943d00d447f8cfbcbc6f