proper board name in parallella device tree