Fix a bug found by Massimiliano Cialdi:
[bertos.git] / boards / lpc-p2378 / benchmark / .spec