avr32: Build fix for CONFIG_BUG=n