avr32: fix out-of-range jump in large kernels