Re-add a wrongly reverted commit.
[bertos.git] / boards / .spec