Hola
El punto que está muy claro es que esas constantes (defines en realidad) no están definidos. Estuve viendo el uso de los botones para ambas plataformas y si bien se basan en la misma librería el uso en los ejemplos es ligeramente distinto. Miren por favor el código en /home/leo/work/contiki-master/examples/zolertia/ carpetas z1 y zoul (busquen el texto button en esas carpetas y lo encontrarán, nuevamente les aconsejo usar el plugin de gedit).
Creo que la diferencia es que en z1 se configura usando SENSORS_ACTIVATE(button_sensor); que a su vez llama el button_sensor.configure(BUTTON_SENSOR_CONFIG_TYPE_INTERVAL,BUTTON_PRESS_EVENT_INTERVAL); con valores definidos. En el caso del zoul se llama esta función y deberían definir ambos valores.
Vean si con estas pistas pueden hacerlo funcionar.
Saludos,
Leo