avr32: sync kernel config