[avr32] refresh kernel patches