avr32: Fix build failures in board code