make: adapted to changes in RIOT/467b41a

Otherwise these boards don't build anymore.