avr32: Use correct config symbol in atstk1004 board code